The Lambda-Calculus and the Unity of Structural Proof Theory

AuthID
P-003-EYD
1
Author(s)
Tipo de Documento
Article
Year published
2009
Publicado
in THEORY OF COMPUTING SYSTEMS, ISSN: 1432-4350
Volume: 45, Número: 4, Páginas: 963-994 (32)
Conference
3Rd Computability in Europe Conference 2007, Date: 2007, Location: Siena, ITALY, Host: Univ Siena
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-70349519352
Wos: WOS:000268585400018
Source Identifiers
ISSN: 1432-4350
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.