default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID39th MFPS 2023: Bloomington, IN, USA
- Marie Kerjean, Paul Blain Levy:
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023. Electronic Notes in Theoretical Informatics and Computer Science 3, EpiSciences 2023 - Frederik Lerbjerg Aagaard, Jonathan Sterling, Lars Birkedal
:
A denotationally-based program logic for higher-order store. - Aurore Alcolei, Luc Pellissier, Alexis Saurin:
The exponential logic of sequentialization. - Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin:
Propositional Logics for the Lawvere Quantale. - Fredrik Dahlqvist, Renato Neves:
A Complete V-Equational System for Graded lambda-Calculus. - Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw:
Dynamic Separation Logic. - Pietro Di Gianantonio, Abbas Edalat, Ran Gutin:
A language for evaluating derivatives of functionals using automatic differentiation. - Alex Dixon, Andrzej S. Murawski:
Saturating automata for game semantics. - Marcelo Fiore, Zeinab Galal, Farzad Jafarrahmani:
Fixpoint constructions in focused orthogonality models of linear logic. - Bart Jacobs, Dario Stein:
Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming. - Younesse Kaddar, Sam Staton:
A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories. - Shin-ya Katsumata, Xavier Rival, Jérémy Dubut:
A Categorical Framework for Program Semantics and Semantic Abstraction. - Dexter Kozen, Alexandra Silva, Erik Voogd:
Joint Distributions in Probabilistic Semantics. - Jean-Simon Pacaud Lemay:
Cartesian Differential Kleisli Categories. - Jean-Simon Pacaud Lemay, Jean-Baptiste Vienney:
Graded Differential Categories and Graded Differential Linear Logic. - Maria Emilia Maietti, Pietro Sabelli:
A topological counterpart of well-founded trees in dependent type theory. - Samuele Maschio, Alexandre Miquel:
Implicative models of set theory. - Lawrence S. Moss:
Algebra of Self-Replication. - Michael Shulman:
Semantics of multimodal adjoint type theory. - Siva Somayyajula, Frank Pfenning:
Dependent Type Refinements for Futures. - Sam van Gool, Paul-André Melliès, Vincent Moreau:
Profinite lambda-terms and parametricity.
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-10-31 00:52 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:
