CARRARO, ALBERTO
CARRARO, ALBERTO
Dipartimento di Management (attivo dal 01/01/2011 al 31/12/2024)
Mostra
records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.0 secondi).
A graph easy set of mute lambda terms
2014-01-01 A., Bucciarelli; Carraro, Alberto; Favro, Giordano; Salibra, Antonino
Easy lambda-terms are not always simple
2012-01-01 Carraro, Alberto; Salibra, Antonino
Minimal lambda-theories by ultraproducts
2013-01-01 A., Bucciarelli; Carraro, Alberto; Salibra, Antonino
On linear information systems
2010-01-01 A., Bucciarelli; Carraro, Alberto; T., Ehrhard; Salibra, Antonino
On the equational consistency of order-theoretic models of the lambda-calculus
2012-01-01 Carraro, Alberto; Salibra, Antonino
Ordered models of the lambda calculus
2013-01-01 Carraro, Alberto; Salibra, Antonino
The stack calculus
2013-01-01 Carraro, Alberto; T., Ehrhard; Salibra, Antonino
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| A graph easy set of mute lambda terms | 1-gen-2014 | CARRARO, ALBERTOFAVRO, GIORDANOSALIBRA, Antonino + | 4.1 Articolo in Atti di convegno | - | |
| Easy lambda-terms are not always simple | 1-gen-2012 | CARRARO, ALBERTOSALIBRA, Antonino | 2.1 Articolo su rivista | - | |
| Minimal lambda-theories by ultraproducts | 1-gen-2013 | CARRARO, ALBERTOSALIBRA, Antonino + | 4.1 Articolo in Atti di convegno | - | |
| On linear information systems | 1-gen-2010 | CARRARO, ALBERTOSALIBRA, Antonino + | 4.1 Articolo in Atti di convegno | - | |
| On the equational consistency of order-theoretic models of the lambda-calculus | 1-gen-2012 | CARRARO, ALBERTOSALIBRA, Antonino | 4.1 Articolo in Atti di convegno | - | |
| Ordered models of the lambda calculus | 1-gen-2013 | CARRARO, ALBERTOSALIBRA, Antonino | 2.1 Articolo su rivista | - | |
| The stack calculus | 1-gen-2013 | CARRARO, ALBERTOSALIBRA, Antonino + | 4.1 Articolo in Atti di convegno | - |