Explicit substitutions calculi with one step Eta-reduction decided explicitly

DOI10.1093/jigpal/jzp027zbMath1189.03022OpenAlexW2133737179WikidataQ58001454 ScholiaQ58001454MaRDI QIDQ3653146

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

Publication date: 18 December 2009

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

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

zbMATH Keywords

lambda calculusexplicit substitutionssubject reductioneta reduction

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

This page was built for publication: Explicit substitutions calculi with one step Eta-reduction decided explicitly