In this paper we give an outline of recent algebraic results concerning theories and models of the untyped lambda calculus. © 2012 Springer-Verlag.
Scott is always simple
SALIBRA, Antonino
2012-01-01
Abstract
In this paper we give an outline of recent algebraic results concerning theories and models of the untyped lambda calculus. © 2012 Springer-Verlag.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
2012-scott-is-always-simple-MFCS12.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Accesso gratuito (solo visione)
Dimensione
256.47 kB
Formato
Adobe PDF
|
256.47 kB | Adobe PDF | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.