Explicit substitution calculi with de Bruijn indices and intersection type systems

Autor:	Mauricio Ayala-Rincón, Fairouz Kamareddine, Daniel Ventura
Rok vydání:	2014
Předmět:	De Bruijn sequence Discrete mathematics Combinatorics De Bruijn index Explicit substitution Intersection Logic Type (model theory) Lambda calculus computer computer.programming_language Mathematics
Zdroj:	Logic Journal of IGPL. 23:295-340
ISSN:	1368-9894 1367-0751
DOI:	10.1093/jigpal/jzu044
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::bc971f07934ce2b2c212d8e2f6e43fd7 https://doi.org/10.1093/jigpal/jzu044 Zobrazit plný text záznamu