default search action
34th MFPS 2018: Halifax, Canada
- Sam Staton:
Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2018, Dalhousie University, Halifax, Canada, June 6-9, 2018. Electronic Notes in Theoretical Computer Science 341, Elsevier 2018 - Sam Staton:
Preface. 1-3 - Richard Blute, J. Robin B. Cockett, Pierre-Alain Jacqmin, Philip J. Scott:
Finiteness Spaces and Generalized Power Series. 5-22 - Nathan J. Bowler, Paul Blain Levy, Gordon D. Plotkin:
Initial Algebras and Final Coalgebras Consisting of Nondeterministic Finite Trace Strategies. 23-44 - J. Robin B. Cockett, Jean-Simon Lemay:
Cartesian Integral Categories and Contextual Integral Categories. 45-72 - Thomas Cottrell
, Soichiro Fujii, John Power
Higher Dimensional Categories: Induction on Extensivity. 73-90 - Fredrik Dahlqvist, Alexandra Silva, Vincent Danos, Ilias Garnier:
Borel Kernels and their Approximation, Categorically. 91-119 - Tobias Fritz
Bimonoidal Structure of Probability Monads. 121-149 - Jules Hedges:
Morphisms of Open Games. 151-177 - Chris Heunen, Robin Kaarsgaard
Reversible Effects as Inverse Arrows. 179-199 - Pieter J. W. Hofstra, Jason Parker, Philip J. Scott:
Isotropy of Algebraic Theories. 201-217 - Naohiko Hoshino:
Partial Traces on Additive Categories. 219-237 - Ohad Kammar, Dylan McDermott
Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics. 239-260 - Bartek Klin
Iterated Covariant Powerset is not a Monad. 261-276 - Ernie Manes, Philip S. Mulry:
Near Distributive Laws. 277-295 - Yuichi Nishiwaki, Yoshihiko Kakutani, Yuito Murase:
Modality via Iterated Enrichment. 297-320 - Hugo Paquet, Glynn Winskel:
Continuous Probability Distributions in Concurrent Games. 321-344 - Tarmo Uustalu
The Sequent Calculus of Skew Monoidal Categories. 345-370
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: