The Free Exponential Modality of Probabilistic Coherence Spaces
From MaRDI portal
Publication:2988358
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
68N18: Functional programming and lambda calculus
03F52: Proof-theoretic aspects of linear logic and other substructural logics
03B40: Combinatory logic and lambda calculus