A lambda calculus with letrecs and barriers

DOI10.1007/3-540-62034-6_34MaRDI QIDQ6567752zbMATH OpenFDO

Authors Arvind, Jan-Willem Maessen, Rishiyur S. Nikhil, Joseph E. Stoy

Publication date 5 July 2024

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Cites work

• scientific article; zbMATH DE number 46981 (Why is no real title available?)
• Explicit substitutions

This page was built for publication: A lambda calculus with letrecs and barriers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6567752)