Principal Typings for Explicit Substitutions Calculi

DOI10.1007/978-3-540-69407-6_60zbMath1142.03337OpenAlexW1806229404WikidataQ58001486 ScholiaQ58001486MaRDI QIDQ3507473

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

Publication date: 19 June 2008

Published in: Logic and Theory of Algorithms (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-69407-6_60

zbMATH Keywords

lambda-calculusexplicit substitutionprincipal typings

Mathematics Subject Classification ID

Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

This page was built for publication: Principal Typings for Explicit Substitutions Calculi