default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID35th MFPS 2019: London, UK
- Barbara König:
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019. Electronic Notes in Theoretical Computer Science 347, Elsevier 2019 - Barbara König:
Preface. 1-3 - Harsh Beohar, Sebastian Küpper:
Bisimulation Maps in Presheaf Categories. 5-24 - Dariusz Biernacki
, Sergueï Lenglet, Piotr Polesiuk:
Diacritical Companions. 25-43 - Linan Chen, Florence Clerc, Prakash Panangaden:
Bisimulation for Feller-Dynkin Processes. 45-63 - Jules Chouquet:
Taylor Expansion, Finiteness and Strategies. 65-85 - Liron Cohen, Sofia Abreu Faro, Ross Tate:
The Effects of Effects on Constructivism. 87-120 - Ugo Dal Lago, Francesco Gavazzo:
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice. 121-141 - Bart Jacobs:
Learning along a Channel: the Expectation part of Expectation-Maximisation. 143-160 - Bart Jacobs, David Sprunger:
Neural Nets via Forward State Transformation and Backward Loss Transformation. 161-177 - Robin Kaarsgaard:
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. 179-202 - Jim Laird:
From Global to Local State, Coalgebraically and Compositionally. 203-222 - Paige Randall North:
Towards a Directed Homotopy Type Theory. 223-239 - Claudio Hermida, Uday S. Reddy, Edmund P. Robinson:
Deriving Logical Relations from Interpretations of Predicate Logic. 241-259 - Niels van der Weide, Herman Geuvers:
The Construction of Set-Truncated Higher Inductive Types. 261-280 - Niels F. W. Voorneveld:
Quantitative Logics for Equivalence of Effectful Programs. 281-301 - Di Wang, Jan Hoffmann, Thomas W. Reps:
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism. 303-324
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-01-08 22:45 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:
