Gruppo di Logica e Geometria della Cognizione
Accedi
Home
»
Pubblicazioni
Pubblicazioni (Baillot, Patrick)
An embedding of the BSS model of computation in light affine lambda-calculus
Marco Pedicini, Patrick Baillot (
2006
) (
pdf
)
Home
Calendario
Membri
Visitatori
Eventi
Seminari
Formazione
Tesi
Progetti
Pubblicazioni
Come arrivare