Pure type systems with explicit substitutions

DOI10.1017/S0956796815000210zbMath1420.68038MaRDI QIDQ5371956

Miguel Pagano, Daniel Fridlender

Publication date: 23 October 2017

Published in: Journal of Functional Programming (Search for Journal in Brave)

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

03B40: Combinatory logic and lambda calculus

Uses Software

• Coq
• Matita
• Automath