Explicit substitution calculi with de Bruijn indices and intersection type systems

DOI10.1093/jigpal/jzu044zbMath1405.03037OpenAlexW2013435627WikidataQ58001383 ScholiaQ58001383MaRDI QIDQ4644515

Daniel Lima Ventura, Mauricio Ayala-Rincón, Fairouz Kamareddine

Publication date: 8 January 2019

Published in: Logic Journal of IGPL (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/d89ecfd88052ae5b2add4d6c26ee73b6a1dff079

zbMATH Keywords

lambda calculusintersection typesexplicit substitutionde Bruijn indices

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Nominal essential intersection types

This page was built for publication: Explicit substitution calculi with de Bruijn indices and intersection type systems