Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

37th MFPS 2021: Salzburg, Austria / Online

> Home > Conferences and Workshops > MFPS

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-13746
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-13746
Ana Sokolova:
Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, Hybrid: Salzburg, Austria and Online, 30th August - 2nd September, 2021. EPTCS 351, 2021
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2108-06296
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-06296
Sandra Alves, Miguel Ramos:
An ML-style record calculus with extensible records. 1-17
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-05837
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-05837
Kostia Chardonnet, Louis Lemonnier, Benoît Valiron:
Categorical Semantics of Reversible Pattern-Matching. 18-33
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14048
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14048
Swaraj Dash, Sam Staton:
Monads for Measurable Queries in Probabilistic Databases. 34-50
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14049
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14049
Giulio Fellin, Peter M. Schuster:
A General Glivenko-Gödel Theorem for Nuclei. 51-66
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14050
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14050
Eric Finster, Samuel Mimram, Maxime Lucas, Thomas Seiller:
A Cartesian Bicategory of Polynomial Functors in Homotopy Type Theory. 67-83
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14051
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14051
Nick Hu, Jamie Vicary:
Traced Monoidal Categories as Algebraic Structures in Prof. 84-97
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14044
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14044
Bart Jacobs:
Multinomial and Hypergeometric Distributions in Markov Categories. 98-115
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14045
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14045
Bart Jacobs:
Learning from What's Right and Learning from What's Wrong. 116-133
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14052
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14052
Tom de Jong:
Sharp Elements and Apartness in Domains. 134-151
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2105-09929
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2105-09929
Robin Kaarsgaard, Mathys Rennela:
Join inverse rig categories for reversible functional programming, and beyond. 152-167
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14053
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14053
Ugo de'Liguoro, Riccardo Treglia:
From Semantics to Types: the Case of the Imperative lambda-Calculus. 168-183
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14055
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14055
Samuel Mimram, Aly-Bora Ulusoy:
Syntactic Regions for Concurrent Programs. 184-199
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14056
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14056
Rasmus Ejlers Møgelberg, Andrea Vezzosi:
Two Guarded Recursive Powerdomains for Applicative Simulation. 200-217
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2106-13489
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-13489
Daniela Petrisan, Ralph Sarkis:
Semialgebras and Weak Distributive Laws. 218-241
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2106-08074
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-08074
Todd Schmid, Jurriaan Rot, Alexandra Silva:
On Star Expressions and Coalgebraic Completeness Theorems. 242-259
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14057
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14057
Niccolò Veltri, Niels F. W. Voorneveld:
Inductive and Coinductive Predicate Liftings for Effectful Programs. 260-277
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2112-14058
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2112-14058
Kazuki Watanabe, Clovis Eberhart, Kazuyuki Asada, Ichiro Hasuo:
A Compositional Approach to Parity Games. 278-295
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2104-13421
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2104-13421
Stefan Zetzsche, Gerco van Heerdt, Alexandra Silva, Matteo Sammartino:
Canonical automata via distributive law homomorphisms. 296-313

a service of

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.