Call-by-Value Non-determinism in a Linear Logic Type Discipline

DOI10.1007/978-3-642-35722-0_12zbMath1434.68083arXiv1312.4507MaRDI QIDQ3455843

Giulio Manzonetto, Michele Pagani, Alejandro Díaz-Caro

Publication date: 11 December 2015

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1312.4507

zbMATH Keywords

linear logic; \(\lambda\)-calculus; nondeterminism; call-by-value

Mathematics Subject Classification ID

68N18: Functional programming and lambda calculus

03F52: Proof-theoretic aspects of linear logic and other substructural logics

03B40: Combinatory logic and lambda calculus