Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase |
Modality via Iterated Enrichment. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Peter Dybjer, Hugo Moeneclaey |
Finitary Higher Inductive Types in the Groupoid Model. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ales Bizjak, Lars Birkedal |
On Models of Higher-Order Separation Logic. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | J. Robin B. Cockett, Jean-Simon Lemay |
Cartesian Integral Categories and Contextual Integral Categories. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nicolas Gagné, Prakash Panangaden |
A Categorical Characterization of Relative Entropy on Standard Borel Spaces. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Naohiko Hoshino |
Partial Traces on Additive Categories. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alex Simpson |
Category-theoretic Structure for Independence and Conditional Independence. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Mathys Rennela, Sam Staton |
Classical Control and Quantum Circuits in Enriched Category Theory. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Chris Heunen, Robin Kaarsgaard, Martti Karvonen |
Reversible Effects as Inverse Arrows. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Simon Docherty, David J. Pym |
A Stone-type Duality Theorem for Separation Logic Via its Underlying Bunched Logics. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Sam Staton |
Preface. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Silva 0001 |
Preface. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Robert Glück, Robin Kaarsgaard |
A Categorical Foundation for Structured Reversible Flowchart Languages. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Nathan J. Bowler, Paul Blain Levy, Gordon D. Plotkin |
Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Barry Jay |
Self-Quotation in a Typed, Intensional Lambda-Calculus. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Ohad Kammar, Dylan McDermott |
Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Dahlqvist, Alexandra Silva 0001, Vincent Danos, Ilias Garnier |
Borel Kernels and their Approximation, Categorically. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Paul-André Melliès, Léo Stefanesco |
A Game Semantics of Concurrent Separation Logic. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Giorgio Bacci, Giovanni Bacci 0001, Kim G. Larsen, Radu Mardare |
Complete Axiomatization for the Total Variation Distance of Markov Chains. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Tobias Fritz, Paolo Perrone |
Bimonoidal Structure of Probability Monads. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jules Hedges |
Morphisms of Open Games. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Loris D'Antoni, Zachary Kincaid, Fang Wang |
A Symbolic Decision Procedure for Symbolic Alternating Finite Automata. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin, Julian Salamanca |
Iterated Covariant Powerset is not a Monad. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott |
Finiteness Spaces and Generalized Power Series. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Jacques Carette, Chao-Hong Chen, Vikraman Choudhury, Amr Sabry |
From Reversible Programs to Univalent Universes and Back. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Pieter J. W. Hofstra, Jason Parker, Philip J. Scott |
Isotropy of Algebraic Theories. |
MFPS |
2018 |
DBLP DOI BibTeX RDF |
|
1 | Alexandra Silva 0001 (eds.) |
The Thirty-third Conference on the Mathematical Foundations of Programming Semantics, MFPS 2017, Ljubljana, Slovenia, June 12-15, 2017 |
MFPS |
2018 |
DBLP BibTeX RDF |
|
1 | Sam Staton (eds.) |
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018 |
MFPS |
2018 |
DBLP BibTeX RDF |
|
1 | Lars Birkedal |
Preface. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bram Geron, Paul Blain Levy |
Iteration and Labelled Iteration. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Marc Bagnol, Richard Blute, J. Robin B. Cockett, J. S. Lemay |
The Shuffle Quasimonad and Modules with Differentiation and Integration. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Zanasi |
The Algebra of Partial Equivalence Relations. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Fabio Zanasi |
A Predicate/State Transformer Semantics for Bayesian Learning. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuya Sato 0001 |
Approximate Relational Hoare Logic for Continuous Random Samplings. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | David Mestel, A. W. Roscoe 0001 |
Reducing Complex CSP Models to Traces via Priority. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tomas Jakl, Achim Jung, Ales Pultr |
Bitopology and Four-valued Logic. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jonas Frey |
Classical Realizability in the CPS Target Language. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Fredrik Dahlqvist, Vincent Danos, Ilias Garnier |
Giry and the Machine. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Tyler Barker |
A Monad for Randomized Algorithms. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Barry Jay |
Programs as Data Structures in λSF-Calculus. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | J. Robin B. Cockett, Jonathan Gallagher |
Categorical Models of the Differential λ-Calculus Revisited. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001, Stefan Milius, Christoph Rauch |
Complete Elgot Monads and Coalgebraic Resumptions. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Jurriaan Rot |
Coalgebraic Minimization of Automata by Initiality and Finality. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rick Statman |
How to Think of Intersection Types as Cartesian Products. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
Effectuses from Monads. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Rick Statman |
On the Representation of Semigroups and Other Congruences in the Lambda Calculus. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Arthur Azevedo de Amorim |
Binding Operators for Nominal Sets. |
MFPS |
2016 |
DBLP DOI BibTeX RDF |
|
1 | Lars Birkedal (eds.) |
The Thirty-second Conference on the Mathematical Foundations of Programming Semantics, MFPS 2016, Carnegie Mellon University, Pittsburgh, PA, USA, May 23-26, 2016 |
MFPS |
2016 |
DBLP BibTeX RDF |
|
1 | Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner |
Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper). |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Neil Ghani, Patricia Johann, Fredrik Nordvall Forsberg, Federico Orsanigo, Tim Revell |
Bifibrational Functorial Semantics of Parametric Polymorphism. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Ales Bizjak, Rasmus Ejlers Møgelberg |
A Model of Guarded Recursion With Clock Synchronisation. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Keimel |
Healthiness Conditions for Predicate Transformers. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | James Laird |
Sequential Algorithms for Unbounded Nondeterminism. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marco Paviotti, Rasmus Ejlers Møgelberg, Lars Birkedal |
A Model of PCF in Guarded Type Theory. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Bram Westerbaan |
An Effect-Theoretic Account of Lebesgue Integration. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dirk Pattinson, Lutz Schröder |
Sound and Complete Equational Reasoning over Comodels. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Apiwat Chantawibul, Pawel Sobocinski 0001 |
Towards Compositional Graph Theory. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Nils Jansen 0001, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver |
Conditioning in Probabilistic Programming. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Chris Heunen, Martti Karvonen |
Reversible Monadic Computing. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Vincent Danos, Ilias Garnier |
Dirichlet is Natural. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin |
A Presheaf Model of Parametric Type Theory. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Robert Rand 0001, Steve Zdancewic |
VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Mathys Rennela, Sam Staton |
Complete Positivity and Natural Representation of Quantum Computations. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Sergey Goncharov 0001, Christoph Rauch, Lutz Schröder |
Unguarded Recursion on Coinductive Resumptions. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Matija Pretnar |
An Introduction to Algebraic Effects and Handlers. Invited tutorial paper. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Taus Brock-Nannestad, Nicolas Guenot |
Focused Linear Logic and the λ-calculus. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Kim G. Larsen, Radu Mardare, Bingtian Xue |
Alternation-Free Weighted Mu-Calculus: Decidability and Completeness. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica |
Preface. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Tarmo Uustalu |
Stateful Runners of Effectful Computations. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Marc Bagnol |
Representation of Partial Traces. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | A. W. Roscoe 0001 |
The Expressiveness of CSP With Priority. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Harsh Beohar, Pieter J. L. Cuijpers |
Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders. |
MFPS |
2015 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica (eds.) |
The 31st Conference on the Mathematical Foundations of Programming Semantics, MFPS 2015, Nijmegen, The Netherlands, June 22-25, 2015 |
MFPS |
2015 |
DBLP BibTeX RDF |
|
1 | Dexter Kozen, Radu Mardare, Prakash Panangaden |
A Metrized Duality Theorem for Markov Processes. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Marc Lasson |
Canonicity of Weak ω-groupoid Laws Using Parametricity Theory. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Maciej Piróg, Jeremy Gibbons |
The Coinductive Resumption Monad. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Giulio Manzonetto, Domenico Ruoppolo |
Relational Graph Models, Taylor Expansion and Extensionality. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jean Goubault-Larrecq, Achim Jung |
QRB, QFS, and the Probabilistic Powerdomain. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Samy Jaziri, Kim Guldstrand Larsen, Radu Mardare, Bingtian Xue |
Adequacy and Complete Axiomatization for Timed Modal Logic. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Alexandra Silva 0001, Sam Staton |
Preface. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Dariusz Biernacki, Sergueï Lenglet |
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Mathys Rennela |
Towards a Quantum Domain Theory: Order-enrichment and Fixpoints in W*-algebras. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Simon Castellan, Jonathan Hayman, Marc Lasson, Glynn Winskel |
Strategies as Concurrent Processes. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Philippa Gardner, Azalea Raad, Mark J. Wheelhouse, Adam Wright |
Abstract Local Reasoning for Concurrent Libraries: Mind the Gap. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Liang-Ting Chen 0001, Achim Jung |
On a Categorical Framework for Coalgebraic Modal Logic. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Tetsuya Sato 0001 |
Identifying All Preorders on the Subdistribution Monad. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek, Robert S. R. Myers, Henning Urbat, Stefan Milius |
On Continuous Nondeterminism and State Minimality. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Brookes |
On Grainless Footprint Semantics for Shared-memory Programs. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Danel Ahman, Tarmo Uustalu |
Coalgebraic Update Lenses. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | J. Robin B. Cockett, Pieter J. W. Hofstra, Pavel Hrubes |
Total Maps of Turing Categories. |
MFPS |
2014 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001, Alexandra Silva 0001, Sam Staton (eds.) |
Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2014, Ithaca, NY, USA, June 12-15, 2014 |
MFPS |
2014 |
DBLP BibTeX RDF |
|
1 | Jan Rutten, Adolfo Ballester-Bolinches, Enric Cosme-Llópez |
Varieties and Covarieties of Languages (Extended Abstract). |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Danel Ahman, Sam Staton |
Normalization by Evaluation and Algebraic Effects. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Uli Fahrenberg, Axel Legay |
History-Preserving Bisimilarity for Higher-Dimensional Automata via Open Maps. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Samuel Mimram, Cinzia Di Giusto |
A Categorical Theory of Patches. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Kei Terayama, Hideki Tsuiki |
A Stream Calculus of Bottomed Sequences for Real Number Computation. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Bart Jacobs 0001 |
On Block Structures in Quantum Computation. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Pierre Clairambault, Glynn Winskel |
On Concurrent Games with Payoff. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Roy L. Crole, Frank Nebel |
Nominal Lambda Calculus: An Internal Language for FM-Cartesian Closed Categories. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|
1 | Eric Goubault, Tobias Heindel, Samuel Mimram |
A Geometric View of Partial Order Reduction. |
MFPS |
2013 |
DBLP DOI BibTeX RDF |
|