| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Ayberk Tosun, Martín Hötzel Escardó |
Patch Locale of a Spectral Locale in Univalent Type Theory.  |
MFPS  |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcelo Fiore, Zeinab Galal, Farzad Jafarrahmani |
Fixpoint constructions in focused orthogonality models of linear logic. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Alex Dixon, Andrzej S. Murawski |
Saturating automata for game semantics. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Giorgio Bacci, Radu Mardare, Prakash Panangaden, Gordon D. Plotkin |
Propositional Logics for the Lawvere Quantale. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Maria Emilia Maietti, Pietro Sabelli |
A topological counterpart of well-founded trees in dependent type theory. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Frederik Lerbjerg Aagaard, Jonathan Sterling, Lars Birkedal |
A denotationally-based program logic for higher-order store. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Simon Pacaud Lemay, Jean-Baptiste Vienney |
Graded Differential Categories and Graded Differential Linear Logic. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Shin-ya Katsumata, Xavier Rival, Jérémy Dubut |
A Categorical Framework for Program Semantics and Semantic Abstraction. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Siva Somayyajula, Frank Pfenning |
Dependent Type Refinements for Futures. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuele Maschio, Alexandre Miquel |
Implicative models of set theory. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam van Gool, Paul-André Melliès, Vincent Moreau 0001 |
Profinite lambda-terms and parametricity. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Michael Shulman |
Semantics of multimodal adjoint type theory. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Fredrik Dahlqvist, Renato Neves |
A Complete V-Equational System for Graded lambda-Calculus. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Younesse Kaddar, Sam Staton |
A model of stochastic memoization and name generation in probabilistic programming: categorical semantics via monads on presheaf categories. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Aurore Alcolei, Luc Pellissier, Alexis Saurin |
The exponential logic of sequentialization. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Dexter Kozen, Alexandra Silva 0001, Erik Voogd |
Joint Distributions in Probabilistic Semantics. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001, Dario Stein |
Pearl's and Jeffrey's Update as Modes of Learning in Probabilistic Programming. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean-Simon Pacaud Lemay |
Cartesian Differential Kleisli Categories. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Lawrence S. Moss |
Algebra of Self-Replication. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank S. de Boer, Hans-Dieter A. Hiep, Stijn de Gouw |
Dynamic Separation Logic. |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Marie Kerjean, Paul Blain Levy (eds.) |
Proceedings of the 39th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXIX, Indiana University, Bloomington, IN, USA, June 21-23, 2023 |
MFPS |
2023 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Gu, Robin Piedeleu, Fabio Zanasi |
A Complete Diagrammatic Calculus for Boolean Satisfiability. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Benedetto Intrigila, Giulio Manzonetto, Nicolas Munnich |
Extended Addressing Machines for PCF, with Explicit Substitutions. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Henry DeYoung, Frank Pfenning |
Data Layout from a Type-Theoretic Perspective (extended version). |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Zetzsche, Alexandra Silva 0001, Matteo Sammartino |
Guarded Kleene Algebra with Tests: Automata Learning. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Mateusz Pyzik |
Call-By-Name Is Just Call-By-Value with Delimited Control. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Goy 0002 |
Weakening and Iterating Laws using String Diagrams. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Paul-André Melliès, Noam Zeilberger |
Parsing as a lifting problem and the Chomsky-Schützenberger representation theorem. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | James Laird |
Revisiting Decidable Bounded Quantification, via Dinaturality. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Jason Z. S. Hu, Brigitte Pientka |
A Categorical Normalization Proof for the Modal Lambda-Calculus. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Takahiro Sanada |
Category-Graded Algebraic Theories and Effect Handlers. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Vikraman Choudhury, Marcelo Fiore |
Free Commutative Monoids in Homotopy Type Theory. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Palombi, Jonathan Sterling |
Classifying topoi in synthetic guarded domain theory. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Masahito Hasegawa |
The Internal Operads of Combinatory Algebras. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Tomoya Yoshida |
Continuous Functions on Final Comodels of Free Algebraic Theories. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Willem Heijltjes |
The Functional Machine Calculus. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Paquet |
Bi-invariance for Uniform Strategies on Event Structures. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001 |
Sufficient Statistics and Split Idempotents in Discrete Probability Theory. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Pietro Di Gianantonio, Abbas Edalat, Ran Gutin |
A language for evaluating derivatives of functionals using automatic differentiation. |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Justin Hsu, Christine Tasson (eds.) |
Proceedings of the 38th Conference on the Mathematical Foundations of Programming Semantics, MFPS XXXXVIII, Cornell University, Ithaca, NY, USA, with a satellite event at IRIF, Denis Diderot University, Paris, France, and online, July 11-13, 2022 |
MFPS |
2022 |
DBLP DOI BibTeX RDF |
|
| 1 | Niccolò Veltri, Niels F. W. Voorneveld |
Inductive and Coinductive Predicate Liftings for Effectful Programs. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Todd Schmid, Jurriaan Rot, Alexandra Silva 0001 |
On Star Expressions and Coalgebraic Completeness Theorems. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Swaraj Dash, Sam Staton |
Monads for Measurable Queries in Probabilistic Databases. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tom de Jong |
Sharp Elements and Apartness in Domains. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller |
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001 |
Multinomial and Hypergeometric Distributions in Markov Categories. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rasmus Ejlers Møgelberg, Andrea Vezzosi |
Two Guarded Recursive Powerdomains for Applicative Simulation. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva 0001, Matteo Sammartino |
Canonical automata via distributive law homomorphisms. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kostia Chardonnet, Louis Lemonnier, Benoît Valiron |
Categorical Semantics of Reversible Pattern-Matching. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Giulio Fellin, Peter M. Schuster |
A General Glivenko-Gödel Theorem for Nuclei. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001 |
Learning from What's Right and Learning from What's Wrong. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Hu, Jamie Vicary |
Traced Monoidal Categories as Algebraic Structures in Prof. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ana Sokolova (eds.) |
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kazuki Watanabe 0003, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo |
A Compositional Approach to Parity Games. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniela Petrisan, Ralph Sarkis |
Semialgebras and Weak Distributive Laws. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandra Alves, Miguel Ramos 0002 |
An ML-style record calculus with extensible records. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo de'Liguoro, Riccardo Treglia |
From Semantics to Types: the Case of the Imperative lambda-Calculus. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuel Mimram, Aly-Bora Ulusoy |
Syntactic Regions for Concurrent Programs. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Kaarsgaard, Mathys Rennela |
Join inverse rig categories for reversible functional programming, and beyond. |
MFPS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Johann |
Preface. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ernie Manes |
Continuous Monads. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Blanco, Noam Zeilberger |
Bifibrations of Polycategories and Classical Linear Logic. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Kavanagh |
Parametrized Fixed Points and Their Applications to Session Types. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels F. W. Voorneveld |
Combining Algebraic Effect Descriptions Using the Tensor of Complete Lattices. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Paine |
A Pebbling Comonad for Finite Rank and Variable Logic, and an Application to the Equirank-variable Homomorphism Preservation Theorem. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tobias Fritz, Paolo Perrone |
Monads, Partial Evaluations, and Rewriting. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger |
Eilenberg-Kelly Reloaded. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Alejandro Aguirre 0001, Shin-ya Katsumata |
Weakest Preconditions in Fibrations. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Patricia Johann (eds.) |
Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2020, Online, October 1, 2020 |
MFPS |
2020 |
DBLP BibTeX RDF |
|
| 1 | Abbas Edalat, Amin Farjudian, Mina Mohammadian, Dirk Pattinson |
Domain Theoretic Second-Order Euler's Method for Solving Initial Value Problems. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Linan Chen, Florence Clerc, Prakash Panangaden |
Towards a Classification of Behavioural Equivalences in Continuous-time Markov Processes. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Tao Gu, Alexandra Silva 0001, Fabio Zanasi |
Hennessy-Milner Results for Probabilistic PDL. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Gordon D. Plotkin |
A Complete Equational Axiomatisation of Partial Differentiation. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Samuele Buro, Roy L. Crole, Isabella Mastroeni |
Equational Logic and Categorical Semantics for Multi-Languages. |
MFPS |
2020 |
DBLP DOI BibTeX RDF |
|
| 1 | Linan Chen, Florence Clerc, Prakash Panangaden |
Bisimulation for Feller-Dynkin Processes. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jim Laird |
From Global to Local State, Coalgebraically and Compositionally. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001 |
Learning along a Channel: the Expectation part of Expectation-Maximisation. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001, David Sprunger |
Neural Nets via Forward State Transformation and Backward Loss Transformation. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Harsh Beohar, Sebastian Küpper |
Bisimulation Maps in Presheaf Categories. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk |
Diacritical Companions. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Liron Cohen 0001, Sofia Abreu Faro, Ross Tate |
The Effects of Effects on Constructivism. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Ugo Dal Lago, Francesco Gavazzo |
On Bisimilarity in Lambda Calculi with Continuous Probabilistic Choice. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels van der Weide, Herman Geuvers |
The Construction of Set-Truncated Higher Inductive Types. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Robin Kaarsgaard |
Condition/Decision Duality and the Internal Logic of Extensive Restriction Categories. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Di Wang 0017, Jan Hoffmann 0002, Thomas W. Reps |
A Denotational Semantics for Low-Level Probabilistic Programs with Nondeterminism. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Claudio Hermida, Uday S. Reddy, Edmund P. Robinson |
Deriving Logical Relations from Interpretations of Predicate Logic. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König 0001 |
Preface. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Jules Chouquet |
Taylor Expansion, Finiteness and Strategies. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels F. W. Voorneveld |
Quantitative Logics for Equivalence of Effectful Programs. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Paige Randall North |
Towards a Directed Homotopy Type Theory. |
MFPS |
2019 |
DBLP DOI BibTeX RDF |
|
| 1 | Barbara König 0001 (eds.) |
Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2019, London, UK, June 4-7, 2019 |
MFPS |
2019 |
DBLP BibTeX RDF |
|
| 1 | Ernie Manes, Philip S. Mulry |
Near Distributive Laws. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger |
The Sequent Calculus of Skew Monoidal Categories. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan Kavanagh, Stephen Brookes |
A Denotational Semantics for SPARC TSO. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hugo Paquet, Glynn Winskel |
Continuous Probability Distributions in Concurrent Games. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels F. W. Voorneveld |
Non-deterministic Effects in a Realizability Model. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk |
Proving Soundness of Extensional Normal-Form Bisimilarities. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Cottrell, Soichiro Fujii, John Power |
Higher Dimensional Categories: Induction on Extensivity. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Clément Jacq, Paul-André Melliès |
On Dialogue Games and Graph Games. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bart Jacobs 0001 |
A Note on Distances between Probabilistic and Quantum distributions. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license