Sfoglia per Autore  

Opzioni
Mostrati risultati da 21 a 40 di 67
Titolo Data di pubblicazione Autori Tipo File Abstract
The abstract variable-binding calculus 1-gen-1995 SALIBRA, Antonino + 2.1 Articolo su rivista -
Lambda Abstraction algebras: representation theorems 1-gen-1995 SALIBRA, Antonino + 2.1 Articolo su rivista -
Interpolation and compacteness in categories of preinstitutions 1-gen-1996 SALIBRA, Antonino + 2.1 Articolo su rivista -
The variety of lambda abstraction algebras does not admit n-permutable congruences for all n 1-gen-1998 SALIBRA, Antonino 4.1 Articolo in Atti di convegno -
On categorical frames, universal algebra and Boolean algebras with operators in a category 1-gen-1998 SALIBRA, Antonino 4.1 Articolo in Atti di convegno -
Lambda abstraction algebras: coordinatizing models of lambda calculus 1-gen-1998 SALIBRA, Antonino + 2.1 Articolo su rivista -
A finite equational axiomatization of the functional algebras for the lambda calculus 1-gen-1999 SALIBRA, Antonino + 2.1 Articolo su rivista -
On the algebraic models of lambda calculus 1-gen-2000 SALIBRA, Antonino 2.1 Articolo su rivista -
Una nota sui gruppoidi topologici 1-gen-2001 JABARA, EnricoSALIBRA, Antonino 7.16 Altro -
Towards lambda calculus order-incompleteness 1-gen-2001 SALIBRA, Antonino 4.1 Articolo in Atti di convegno -
A continuum of theories of lambda calculus without semantics 1-gen-2001 SALIBRA, Antonino 4.1 Articolo in Atti di convegno -
Nonmodularity results for lambda calculus 1-gen-2001 SALIBRA, Antonino 2.1 Articolo su rivista -
Lambda calculus: models and theories 1-gen-2003 SALIBRA, Antonino 4.1 Articolo in Atti di convegno -
The minimal graph model of lambda calculus 1-gen-2003 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
A note on absolutely unorderable combinatory algebras 1-gen-2003 SALIBRA, Antonino + 2.1 Articolo su rivista -
Topological incompleteness and order incompleteness of the lambda calculus 1-gen-2003 SALIBRA, Antonino 2.1 Articolo su rivista -
The sensible graph theories of lambda calculus 1-gen-2004 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
The lattice of lambda theories 1-gen-2004 SALIBRA, Antonino + 2.1 Articolo su rivista -
Easiness in graph models 1-gen-2006 SALIBRA, Antonino + 2.1 Articolo su rivista -
Boolean algebras for lambda calculus 1-gen-2006 SALIBRA, Antonino + 4.1 Articolo in Atti di convegno -
Mostrati risultati da 21 a 40 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