Pubblicazioni (Pagani, Michele)

The Separation Theorem for Differential Interaction Nets

Damiano Mazza, Michele Pagani (2007)

Acyclicity and Coherence in Multiplicative and Exponential Linear Logic

Michele Pagani (2006) (pdf|ps)

Proof nets and cliques: towards the understanding of analytical proofs

Michele Pagani (2006) (pdf|ps)

Proofs, Denotational Semantics and Observational Equivalences in Multiplicative Linear Logic

Michele Pagani (2006) (pdf|ps)