Gruppo di Logica e Geometria della Cognizione
Accedi
Home
Proof nets and Semantics: Coherence and Acyclicity
2004
Paolo Di Giamberardino
Mémoire de DEA, Institut de Mathématiques de Luminy, Marseille
Download:
Memoire.pdf
|
Memoire.ps
BibTeX
@mastersthesis{, author = {Di Giamberardino, Paolo}, title = {Proof nets and Semantics: Coherence and Acyclicity}, year= {2004}, publisher = {Mémoire de DEA, Institut de Mathématiques de Luminy, Marseille}, type = {Mémoire de DEA}, school = { Institut de Mathématiques de Luminy, Marseille}, }
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Tesi
Progetti
Pubblicazioni
Come arrivare