CARRARO, ALBERTO
CARRARO, ALBERTO
Dipartimento di Management
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 | - |