Gruppo di Logica e Geometria della Cognizione
Accedi
Home
»
Pubblicazioni
Pubblicazioni (Mazza, Damiano)
The Separation Theorem for Differential Interaction Nets
Damiano Mazza, Michele Pagani (
2007
)
Edifices and Full Abstraction for the Symmetric Interaction Combinators
Damiano Mazza (
2007
)
Observational Equivalence for the Interaction Combinators and Internal Separation
Damiano Mazza (
2007
)
A Denotational Semantics for the Symmetric Interaction Combinators
Damiano Mazza (
2007
) (
pdf
)
Linear Logic and Polynomial Time
Damiano Mazza (
2006
) (
pdf
)
Multiport Interaction Nets and Concurrency
Damiano Mazza (
2005
)
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Tesi
Progetti
Pubblicazioni
Come arrivare