default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID41st MFPS 2025: Glasgow, UK
- Clemens Kupke, Stefan Milius:
Proceedings of the 41st Conference on the Mathematical Foundations of Programming Semantics, MFPS XLI, University of Strathclyde, Glasgow, UK, June 16-21, 2025. Electronic Notes in Theoretical Informatics and Computer Science 5, EpiSciences 2025 - C. B. Aberlé, David I. Spivak:
Polynomial Universes and Dependent Types. - Clément Aubert, Jean Krivine:
Reversible computations are computations. - Pablo Barenbaum, Simona Ronchi Della Rocca, Cristian Sottile:
Strong normalization through idempotent intersection types: a new syntactical approach. - Victor Barroso-Nascimento
, Ekaterina Piotrovskaya, Elaine Pimentel:
A Proof-Theoretic Approach to the Semantics of Classical Linear Logic. - James Brotherston, Quang Loc Le, Gauri Desai, Yukihiro Oda:
Cyclic Proofs in Hoare Logic and its Reverse. - Anton Chernev, Corina Cîrstea, Helle Hvid Hansen, Clemens Kupke:
Unambiguous Acceptance of Thin Coalgebras. - Simcha van Collem, Niels van der Weide, Herman Geuvers:
Initial Algebras of Domains via Quotient Inductive-Inductive Types. - Marcelo P. Fiore, Ohad Kammar, Georg Moser, Sam Staton:
Modular abstract syntax trees (MAST): substitution tensors with second-class sorts. - Willem Heijltjes:
The Functional Machine Calculus III: Control. - Bart Jacobs:
A Fresh Look at Bivariate Binomial Distributions. - Bart Jacobs, Márk Széles, Dario Stein:
Compositional Inference for Bayesian Networks and Causality. - Janez Ignacij Jereb, Alex Simpson:
Safety, Relative Tightness and the Probabilistic Frame Rule. - Ryota Kojima, Corina Cîrstea:
Continuation Semantics for Fixpoint Modal Logic and Computation Tree Logics. - Elena Di Lavore, Mario Román, Pawel Sobocinski, Márk Széles:
Order in Partial Markov Categories. - Matteo Mio:
Compact Quantitative Theories of Convex Algebras. - Lukas Mulder, Paige Randall North, Maximilien Péroux:
Functoriality of Enriched Data Types. - Maciej Piróg, Filip Sieczkowski:
Strong Dinatural Transformations and Generalised Codensity Monads. - Benjamin Plummer, Corina Cîrstea:
Traces via Strategies in Two-Player Games.
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 2026-05-15 23:23 CEST 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:
