Enriching a Linear/Non-linear Lambda Calculus
From MaRDI portal
Publication:5145342
DOI10.1145/3209108.3209196zbMath1454.03023arXiv1804.09822MaRDI QIDQ5145342
Michael W. Mislove, Bert Lindenhovius, Vladimir Zamdzhiev
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
programming languages; quantum computing; categorical semantics; enriched category theory; string diagrams
68N18: Functional programming and lambda calculus
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03B40: Combinatory logic and lambda calculus
Uses Software