Publicações

Linearity and Recursion in a Typed Lambda-Calculus

AuthID
P-005-4CE

Author(s)

Alves, S

Fernandez, M

Florido, M

Mackie, I

Editor(es)

Peter Schneider-Kamp; Michael Hanus

Tipo de Documento

Proceedings Paper

Year published

2011

Publicado

in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING in PPDP

Páginas: 173-182 (10)

Conference

13Th International Acm Sigplan Symposium on Principles and Practice of Declarative Programming, Date: JUL 20-22, 2011, Location: Odense, DENMARK, Patrocinadores: ACM SIGPLAN, Univ So Denmark, Danish Agcy Sci Technol & Innovat

Indexing

Wos^®

Scopus^®

Dblp^®/pt/publications/view/168334

Crossref^®3

Google Scholar^®

Metadata
Fontes

Publication Identifiers

DOI: 10.1145/2003476.2003500

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.

Linearity and Recursion in a Typed Lambda-Calculus

Links Úteis

Ajuda

Autenticação Federada (Clique na imagem)

Linearity and Recursion in a Typed Lambda-Calculus

Links Úteis

Ajuda