The Weak Normalization of the Simply Typed se-calculus

DOI10.1093/jigpal/jzm003zbMath1128.03006OpenAlexW1970752973MaRDI QIDQ5435199

Alejandro Ríos, Ariel Arbiser, Fairouz Kamareddine

Publication date: 14 January 2008

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

Full work available at URL: https://doi.org/10.1093/jigpal/jzm003

zbMATH Keywords

weak normalizationlambda calculussimple typingexplicit substitution

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: The Weak Normalization of the Simply Typed  se-calculus