Linearity and Recursion in a Typed Lambda-Calculus

AuthID
P-005-4CE
4
Author(s)
Fernandez, M
·
2
Editor(s)
Peter Schneider-Kamp; Michael Hanus
Document Type
Proceedings Paper
Year published
2011
Published
in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING in PPDP
Pages: 173-182 (10)
Conference
13Th International Acm Sigplan Symposium on Principles and Practice of Declarative Programming, Date: JUL 20-22, 2011, Location: Odense, DENMARK, Sponsors: ACM SIGPLAN, Univ So Denmark, Danish Agcy Sci Technol & Innovat
Indexing
Publication Identifiers
Dblp: conf/ppdp/AlvesFFM11
Scopus: 2-s2.0-80052153042
Wos: WOS:000304069200017
Export Publication Metadata
Marked List
Info
At this moment we don't have any links to full text documens.