Gruppo di Logica e Geometria della Cognizione
Accedi
Home
»
Pubblicazioni
Pubblicazioni (tutti)
On Session Types and Polynomial Time
Paolo Di Giamberardino, Ugo Dal Lago (
2014
) (
)
Towards a linear contract logic (Extended Abstract)
Paolo Di Giamberardino, Massimo Bartoletti, Roberto Zunino (
2013
) (
pdf
)
Contract agreements via logic
Paolo Di Giamberardino, Massimo Bartoletti, Tiziana Cimoli, Roberto Zunino (
2013
) (
pdf
)
Prove e Tipi: Un'introduzione all'isomorfismo di Curry-Howard
Paolo Di Giamberardino (
2012
) (
pdf
)
Verso una sintassi trascendentale
Paolo Pistone (
2011
) (
pdf
)
Ontologies, Logic and Interaction
Marco Romano (
2011
)
The concept of Interaction. Crossovers among Biology, Logic and Philosophy
Giulia Frezza (
2011
)
Soft Session Types
Paolo Di Giamberardino, Ugo Dal Lago (
2011
) (
pdf
)
Jump from parallel to sequential proofs: Exponentials
Paolo Di Giamberardino (
2011
) (
pdf
)
Jump from Parallel to Sequential Proofs: Additives.
Paolo Di Giamberardino (
2011
) (
pdf
)
Disentangling Truth from Undecidability: the goedelian view
Mario Piazza, Gabriele Pulcini (
2010
) (
pdf
)
Rewriting System for the Surface Classification Theorem
Gabriele Pulcini (
2010
) (
pdf
)
Universal and Particular Contradiction in Human Reasoning
Maria Teresa Medaglia, Camillo Porcaro, Michele Abrusci, Claudia Casadio, Franca Tecchio, Stefano Seri, G. Di Lorenzo, P. M. Rossini (
2009
)
A characterization of MALL hypercoherent semantic correctness
Paolo Tranquilli (
2008
) (
pdf
)
Computational Algebraic Approaches to Natural Language
Claudia Casadio, Joachim Lambek (
2008
)
1
2
3
next ›
last »
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Tesi
Progetti
Pubblicazioni
Come arrivare