• 1 WEST 4.55

Accepting PhD Students

20012018
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Alessio Guglielmi is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Mathematics

Cut-elimination
Linear Logic
Sequent Calculus
Proof System
Multiplicative
Calculus
Inference Rules
Logical operator
Normalization
Interaction
Proof Complexity
Proof Search
Noncommutativity
Decompose
Theorem
First-order Logic
Propositional Logic
Extended Systems
Expressiveness
Series
Compositionality
Logic
Operator
Flow Graphs
Express
Trace
Paradigm
Causal Model