Gruppo di Logica e Geometria della Cognizione
Accedi
Home
Observational Equivalence for the Interaction Combinators and Internal Separation
2007
Damiano Mazza
Electronic Notes in Theoretical Computer Science 176 (1):113-137
BibTeX
@article{Mazza:CombSep, author = {Mazza, Damiano}, title = {Observational Equivalence for the Interaction Combinators and Internal Separation}, journal = {Electronic Notes in Theoretical Computer Science}, volume = {176}, number = {1}, pages = {113--137}, year= {2007}, }
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Tesi
Progetti
Pubblicazioni
Come arrivare