\(\lambda\)-calculi with explicit substitutions preserving strong normalization

DOI10.1007/S002000050110zbMath0936.68022OpenAlexW2031327712MaRDI QIDQ1290510

Maria C. F. Ferreira, Delia Kesner, Laurence Puel

Publication date: 2 June 1999

Published in: Applicable Algebra in Engineering, Communication and Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002000050110

zbMATH Keywords

\(\lambda\)-calculi

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: \(\lambda\)-calculi with explicit substitutions preserving strong normalization