A lambda calculus with letrecs and barriers

DOI10.1007/3-540-62034-6_34zbMATH Open1541.68082MaRDI QIDQ6567752FDOQ6567752

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

• Title not available (Why is that?)
• 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)