![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
33rd 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
![](https://dblp.org/img/cog.dark.24x24.png)
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.