CARRARO, ALBERTO

CARRARO, ALBERTO  

Dipartimento di Management  

Mostra records
Risultati 1 - 7 di 7 (tempo di esecuzione: 0.0 secondi).
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 -