Sfoglia per Autore  

Opzioni
Mostrati risultati da 41 a 60 di 67
Titolo Data di pubblicazione Autori Tipo File Abstract
Lambda theories of effective lambda models 1-gen-2007 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Graph Lambda Theories 1-gen-2008 SALIBRA, Antonino + 2.1 Articolo su rivista -
From Lambda Calculus to Universal Algebra and Back 1-gen-2008 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Lattices of equational theories as Church algebras 1-gen-2009 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Reflexive domains are not complete for the extensional lambda calculus 1-gen-2009 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Effective lambda models versus recursively enumerable lambda theories 1-gen-2009 SALIBRA, Antonino + 2.1 Articolo su rivista -
Exponentials with infinite multiplicities 1-gen-2010 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Applying Universal Algebra to Lambda Calculus 1-gen-2010 SALIBRA, Antonino + 2.1 Articolo su rivista -
On linear information systems 1-gen-2010 CARRARO, ALBERTOSALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Resource Combinatory Algebras 1-gen-2010 SALIBRA, 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 -
Scott is always simple 1-gen-2012 SALIBRA, 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 -
On semi-boolean-like algebras 1-gen-2013 SALIBRA, Antonino + 2.1 Articolo su rivista -
Boolean like algebras 1-gen-2013 SALIBRA, Antonino + 4.2 Abstract in Atti di convegno -
Ordered models of the lambda calculus 1-gen-2013 CARRARO, ALBERTOSALIBRA, Antonino 2.1 Articolo su rivista -
Boolean-like-algebras 1-gen-2013 SALIBRA, 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 41 a 60 di 67
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