Intersection Type Systems and Explicit Substitutions Calculi

DOI10.1007/978-3-642-13824-9_19zbMath1306.03008OpenAlexW2130791067WikidataQ58001448 ScholiaQ58001448MaRDI QIDQ4931603

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

Publication date: 29 September 2010

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-13824-9_19

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Uses Software

• Automath

This page was built for publication: Intersection Type Systems and Explicit Substitutions Calculi