The Free Exponential Modality of Probabilistic Coherence Spaces

Raphaëlle Crubillé, Thomas Ehrhard, Michele Pagani, Christine Tasson. The Free Exponential Modality of Probabilistic Coherence Spaces. In Javier Esparza, Andrzej S. Murawski, editors, Foundations of Software Science and Computation Structures - 20th International Conference, FOSSACS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Volume 10203 of Lecture Notes in Computer Science, pages 20-35, 2017. [doi]

Abstract

Abstract is missing.