Adding algebraic rewriting to the untyped lambda calculus (extended abstract)

DOI10.1007/3-540-53904-2_84zbMath1503.03023OpenAlexW1585482631MaRDI QIDQ5055747

Could not fetch data.

Publication date: 9 December 2022

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-53904-2_84

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.