The Free Exponential Modality of Probabilistic Coherence Spaces

DOI10.1007/978-3-662-54458-7_2zbMath1486.03104MaRDI QIDQ2988358

Thomas Ehrhard, Michele Pagani, Christine Tasson, Raphaëlle Crubillé

Publication date: 19 May 2017

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-54458-7_2

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