A lambda term representation inspired by linear ordered logic

DOI10.4204/EPTCS.71.1MaRDI QIDQ6940448zbMATH OpenFDO

Authors Andreas Abel, Nicolai Kraus

Publication date 19 August 2025

Copyright license Creative Commons license

zbMATH Keywords

logical frameworkexplicit substitutionsordered contextsrepresentation of bindersspace leaks

Mathematics Subject Classification ID

Logic in computer science (03B70) Functional programming and lambda calculus (68N18)

This page was built for publication: A lambda term representation inspired by linear ordered logic

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