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
Wos®
Scopus®
Dblp®/pt/publications/view/168334
Crossref®3
Google Scholar®
Publication Identifiers
Dblp: conf/ppdp/AlvesFFM11
Scopus: 2-s2.0-80052153042
Wos: WOS:000304069200017
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service