Publications

Linearity and Recursion in a Typed Lambda-Calculus

AuthID
P-005-4CE

Author(s)

Alves, S

Fernandez, M

Florido, M

Mackie, I

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^®/en/publications/view/168334

Crossref^®3

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/2003476.2003500

DBLP: conf/ppdp/AlvesFFM11

SCOPUS: 2-s2.0-80052153042

Wos: WOS:000304069200017

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Linearity and Recursion in a Typed Lambda-Calculus

Useful Links

Get Help

Federated Authentication (Click on the image)

Linearity and Recursion in a Typed Lambda-Calculus

Useful Links

Get Help