Linearization of the Lambda-Calculus and Its Relation with Intersection Type Systems

AuthID
P-000-8ST
2
Author(s)
Tipo de Documento
Article
Year published
2004
Publicado
in JOURNAL OF FUNCTIONAL PROGRAMMING, ISSN: 0956-7968
Volume: 14, Número: 5, Páginas: 519-546 (28)
Indexing
Publication Identifiers
DBLP: journals/jfp/FloridoD04
SCOPUS: 2-s2.0-4444368533
Wos: WOS:000224111500004
Source Identifiers
ISSN: 0956-7968
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.