Sfoglia per Autore
Mostrati risultati da 1 a 7 di 7
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
Easy lambda-terms are not always simple
2012-01-01 Carraro, Alberto; Salibra, Antonino
The stack calculus
2013-01-01 Carraro, Alberto; T., Ehrhard; Salibra, Antonino
Minimal lambda-theories by ultraproducts
2013-01-01 A., Bucciarelli; Carraro, Alberto; Salibra, Antonino
Ordered models of the lambda calculus
2013-01-01 Carraro, Alberto; Salibra, Antonino
A graph easy set of mute lambda terms
2014-01-01 A., Bucciarelli; Carraro, Alberto; Favro, Giordano; Salibra, Antonino
| Titolo | Data di pubblicazione | Autori | Tipo | File | Abstract |
|---|---|---|---|---|---|
| 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 | - | |
| Easy lambda-terms are not always simple | 1-gen-2012 | CARRARO, ALBERTOSALIBRA, Antonino | 2.1 Articolo su rivista | - | |
| The stack calculus | 1-gen-2013 | CARRARO, ALBERTOSALIBRA, Antonino + | 4.1 Articolo in Atti di convegno | - | |
| Minimal lambda-theories by ultraproducts | 1-gen-2013 | 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 | - | |
| A graph easy set of mute lambda terms | 1-gen-2014 | CARRARO, ALBERTOFAVRO, GIORDANOSALIBRA, Antonino + | 4.1 Articolo in Atti di convegno | - |
Mostrati risultati da 1 a 7 di 7
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile