default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID33rd MFPS 2017: Ljubljana, Slovenia
- Alexandra Silva:
The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017. Electronic Notes in Theoretical Computer Science 336, Elsevier 2018 - Alexandra Silva:
Preface. 1-3 - Jacques Carette, Chao-Hong Chen
, Vikraman Choudhury, Amr Sabry:
From Reversible Programs to Univalent Universes and Back. 5-25 - Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare:
Complete Axiomatization for the Total Variation Distance of Markov Chains. 27-39 - Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk:
Proving Soundness of Extensional Normal-Form Bisimilarities. 41-56 - Ales Bizjak, Lars Birkedal:
On Models of Higher-Order Separation Logic. 57-78 - Loris D'Antoni, Zachary Kincaid, Fang Wang:
A Symbolic Decision Procedure for Symbolic Alternating Finite Automata. 79-99 - Simon Docherty, David J. Pym:
A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics. 101-118 - Peter Dybjer, Hugo Moeneclaey:
Finitary Higher Inductive Types in the Groupoid Model. 119-134 - Nicolas Gagné, Prakash Panangaden:
A Categorical Characterization of Relative Entropy on Standard Borel Spaces. 135-153 - Robert Glück, Robin Kaarsgaard:
A Categorical Foundation for Structured Reversible Flowchart Languages. 155-171 - Bart Jacobs:
A Note on Distances between Probabilistic and Quantum distributions. 173-187 - Clément Jacq, Paul-André Melliès:
On Dialogue Games and Graph Games. 189-206 - Barry Jay:
Self-Quotation in a Typed, Intensional Lambda-Calculus. 207-222 - Ryan Kavanagh, Stephen Brookes:
A Denotational Semantics for SPARC TSO. 223-239 - Paul-André Melliès, Léo Stefanesco:
A Game Semantics of Concurrent Separation Logic. 241-256 - Mathys Rennela, Sam Staton:
Classical Control and Quantum Circuits in Enriched Category Theory. 257-279 - Alex Simpson:
Category-theoretic Structure for Independence and Conditional Independence. 281-297 - Niels F. W. Voorneveld:
Non-deterministic Effects in a Realizability Model. 299-314
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-03-01 15:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
