Gruppo di Logica e Geometria della Cognizione
Accedi
Home
»
Pubblicazioni
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
)
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Tesi
Progetti
Pubblicazioni
Come arrivare