Gruppo di Logica e Geometria della Cognizione
Accedi
Home
»
Pubblicazioni
Pubblicazioni (tutti)
Computing Surfaces via pq-Permutations (extended version)
Gabriele Pulcini (
2008
) (
pdf
)
A Geometrical Procedure for Computing Relaxation
Gabriele Pulcini (
2008
) (
pdf
)
Proof nets sequentialisation in Multiplicative Linear Logic
Paolo Di Giamberardino, Claudia Faggian (
2008
) (
pdf
)
Jump from parallel to sequential proofs: on polarities and sequentiality in Linear Logic
Paolo Di Giamberardino (
2008
) (
pdf
)
Computing Surfaces via pq-Permutations
Gabriele Pulcini (
2008
) (
pdf
)
Applying Pregroups to Italian Statements and Questions
Claudia Casadio (
2007
)
Intuitionistic Differential Nets and Lambda-Calculus
Paolo Tranquilli (
2007
) (
pdf
)
Permutative Additives and Exponentials
Gabriele Pulcini (
2007
) (
pdf
)
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
)
Elementary Complexity into the Hyperfinite II1 Factor
Marco Pedicini, Mario Piazza (
2007
) (
pdf
)
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
)
« first
‹ previous
1
2
3
next ›
last »
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Tesi
Progetti
Pubblicazioni
Come arrivare