Enriching a Linear/Non-linear Lambda Calculus
From MaRDI portal
Publication:5145342
DOI10.1145/3209108.3209196zbMath1454.03023arXiv1804.09822OpenAlexW4289760920MaRDI QIDQ5145342
Vladimir Zamdzhiev, Bert Lindenhovius, Michael W. Mislove
Publication date: 20 January 2021
Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1804.09822
Functional programming and lambda calculus (68N18) Proof-theoretic aspects of linear logic and other substructural logics (03F52) Combinatory logic and lambda calculus (03B40)
Related Items
Semantics of quantum programming languages: Classical control, quantum control ⋮ Unnamed Item ⋮ Quantum Suplattices ⋮ Quantum programming with inductive datatypes: causality and affine type theory ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Formalization of metatheory of the Quipper quantum programming language in a linear logic
Uses Software