• 1 WEST 4.55

Accepting PhD Students

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

Research Output 2001 2018

Filter
Paper
2017
3 Citations (Scopus)
19 Downloads (Pure)

Removing Cycles from Proofs

Aler Tubella, A., Guglielmi, A. & Ralph, B., 20 Aug 2017.

Research output: Contribution to conferencePaper

File
2005

The Problem of Bureaucracy and Identity of Proofs from the Perspective of Deep Inference

Guglielmi, A., 2005, p. 53-68. 16 p.

Research output: Contribution to conferencePaper

2003

On Structuring Proof Search for First Order Linear Logic

Bruscoli, P. & Guglielmi, A., 2003, p. 389-406. 18 p.

Research output: Contribution to conferencePaper

Semantics
2002
17 Citations (Scopus)

A Non-commutative Extension of MELL

Guglielmi, A. & Strassburger, L., Oct 2002, p. 231-246. 16 p.

Research output: Contribution to conferencePaper

Linear Logic
Multiplicative
Cut-elimination
Sequent Calculus
Logical operator
2001
59 Citations (Scopus)

Non-commutativity and MELL in the Calculus of Structures

Guglielmi, A. & Strassburger, L., Sep 2001, p. 54-68. 15 p.

Research output: Contribution to conferencePaper

Noncommutativity
Cut-elimination
Sequent Calculus
Calculus
Linear Logic