default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID32nd MFPS 2016: Pittsburgh, PA, USA
- Lars Birkedal:
The Thirty-second Conference on the Mathematical Foundations of Programming Semantics, MFPS 2016, Carnegie Mellon University, Pittsburgh, PA, USA, May 23-26, 2016. Electronic Notes in Theoretical Computer Science 325, Elsevier 2016 - Lars Birkedal:
Preface. 1-2 - Arthur Azevedo de Amorim:
Binding Operators for Nominal Sets. 3-27 - Marc Bagnol, Richard Blute, J. Robin B. Cockett, J. S. Lemay:
The Shuffle Quasimonad and Modules with Differentiation and Integration. 29-45 - Tyler Barker:
A Monad for Randomized Algorithms. 47-62 - J. Robin B. Cockett, Jonathan Gallagher:
Categorical Models of the Differential λ-Calculus Revisited. 63-83 - Fredrik Dahlqvist, Vincent Danos, Ilias Garnier:
Giry and the Machine. 85-110 - Jonas Frey
:
Classical Realizability in the CPS Target Language. 111-126 - Bram Geron, Paul Blain Levy:
Iteration and Labelled Iteration. 127-146 - Sergey Goncharov, Stefan Milius, Christoph Rauch:
Complete Elgot Monads and Coalgebraic Resumptions. 147-168 - Bart Jacobs:
Effectuses from Monads. 169-183 - Bart Jacobs, Fabio Zanasi:
A Predicate/State Transformer Semantics for Bayesian Learning. 185-200 - Tomas Jakl, Achim Jung, Ales Pultr:
Bitopology and Four-valued Logic. 201-219 - Barry Jay:
Programs as Data Structures in λSF-Calculus. 221-236 - David Mestel, A. W. Roscoe:
Reducing Complex CSP Models to Traces via Priority. 237-252 - Jurriaan Rot:
Coalgebraic Minimization of Automata by Initiality and Finality. 253-276 - Tetsuya Sato:
Approximate Relational Hoare Logic for Continuous Random Samplings. 277-298 - Rick Statman:
On the Representation of Semigroups and Other Congruences in the Lambda Calculus. 299-304 - Rick Statman:
How to Think of Intersection Types as Cartesian Products. 305-312 - Fabio Zanasi:
The Algebra of Partial Equivalence Relations. 313-333
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 2024-11-22 19: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:
