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

AuthID
P-000-8ST
2
Author(s)
Document Type
Article
Year published
2004
Published
in JOURNAL OF FUNCTIONAL PROGRAMMING, ISSN: 0956-7968
Volume: 14, Issue: 5, Pages: 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
Marked List
Info
At this moment we don't have any links to full text documens.