Sfoglia per Autore
Lambda theories of effective lambda models
2007-01-01 C., Berline; G., Manzonetto; Salibra, Antonino
Graph Lambda Theories
2008-01-01 Bucciarelli, A; Salibra, Antonino
From Lambda Calculus to Universal Algebra and Back
2008-01-01 Manzonetto, G; Salibra, Antonino
Lattices of equational theories as Church algebras
2009-01-01 Manzonetto, G; Salibra, Antonino
Reflexive domains are not complete for the extensional lambda calculus
2009-01-01 Carraro, A; Salibra, Antonino
Effective lambda models versus recursively enumerable lambda theories
2009-01-01 C., Berline; G., Manzonetto; Salibra, Antonino
Exponentials with infinite multiplicities
2010-01-01 Carraro, A.; Ehrhard, T.; Salibra, Antonino
Applying Universal Algebra to Lambda Calculus
2010-01-01 Manzonetto, G; Salibra, Antonino
On linear information systems
2010-01-01 A., Bucciarelli; Carraro, Alberto; T., Ehrhard; Salibra, Antonino
Resource Combinatory Algebras
2010-01-01 Carraro, A.; Ehrhard, T.; Salibra, Antonino
On the equational consistency of order-theoretic models of the lambda-calculus
2012-01-01 Carraro, Alberto; Salibra, Antonino
Scott is always simple
2012-01-01 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
On semi-boolean-like algebras
2013-01-01 A., Ledda; F., Paoli; Salibra, Antonino
Boolean like algebras
2013-01-01 A., Ledda; T., Kowalski; F., Paoli; Salibra, Antonino
Ordered models of the lambda calculus
2013-01-01 Carraro, Alberto; Salibra, Antonino
Boolean-like-algebras
2013-01-01 Salibra, Antonino; A., Ledda; F., Paoli; T., Kowalski
A graph easy set of mute lambda terms
2014-01-01 A., Bucciarelli; Carraro, Alberto; Favro, Giordano; Salibra, Antonino
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