Gruppo di Logica e Geometria della Cognizione
Accedi
Home
An embedding of the BSS model of computation in light affine lambda-calculus
2006
Marco Pedicini, Patrick Baillot
8th International Workshop on Logic and Computational Complexity Seattle, August 10 - 11, 2006 (Satellite Workshop of FLOC-LICS 2006)
Download:
0608040.pdf
BibTeX
@inproceedings{, author = {Pedicini, Marco and Baillot, Patrick}, title = {An embedding of the BSS model of computation in light affine lambda-calculus}, journal = {8th International Workshop on Logic and Computational Complexity Seattle, August 10 - 11, 2006 (Satellite Workshop of FLOC-LICS 2006)}, year= {2006}, }
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Tesi
Progetti
Pubblicazioni
Come arrivare