default search action
Mathematical Structures in Computer Science, Volume 33
Volume 33, Number 1, January 2023
- Masahiro Sato, Jacques Garrigue
:
An intuitionistic set-theoretical model of fully dependent CC. 1-32 - Jing Lu, Bin Zhao:
Local Yoneda completions of quasi-metric spaces. 33-45 - Jonathan Sterling
What should a generic object be? 46-67
Volume 33, Number 2, February 2023
- Can Zhou
A domain-theoretic framework for robustness analysis of neural networks. 68-105 - Jarl G. Taxerås Flaten
Univalent categories of modules. 106-133
Volume 33, Number 3, March 2023
- Taichi Uemura
A general framework for the semantics of type theory. 134-179
Volume 33, Numbers 4-5, April 2023
- Ugo Dal Lago
Preface to the special issue on metric and differential semantics. 180-181 - Filippo Bonchi, Barbara König, Daniela Petrisan:
Up-to techniques for behavioural metrics via fibrations. 182-221 - Linan Chen, Florence Clerc
Behavioural equivalences for continuous-time Markov processes. 222-258 - Thomas Ehrhard
Coherent differentiation. 259-310 - Fernando Lucatelli Nunes
CHAD for expressive total languages. 311-426 - Tetsuya Sato
Divergences on monads for relational program logics. 427-485
Volume 33, Number 6, June 2023
- Célia Borlido
Substitution Principle and semidirect products. 486-535 - Amin Farjudian
Robustness, Scott continuity, and computability. 536-572
Volume 33, Number 7, August 2023
- Tom de Jong
Apartness, sharp elements, and the Scott topology of domains. 573-604 - Norihiro Yamada
Game semantics of Martin-Löf type theory. 605-646 - Tim Lethen
A (machine-oriented) logic based on pattern matching. 647-659
Volume 33, Number 8, September 2023
- Dan Licata
Special issue on homotopy type theory 2019 vol. 2. 660 - Raffael Stenzel
On notions of compactness, object classifiers, and weak Tarski universes. 661-678 - Ulrik Buchholtz
The long exact sequence of homotopy n-groups. 679-687 - Danil Annenkov
Two-level type theory and applications. 688-743 - Thibaut Benjamin
Monoidal weak ω-categories as models of a type theory. 744-780
Volume 33, Number 9, October 2023
- Salah M. Elsayed
Computable soft separation axioms. 781-808 - Hualin Miao, Xiaoyong Xi
Not every countable complete distributive lattice is sober. 809-831 - Xiaoquan Xu, Xinpeng Wen, Xiaoyong Xi:
Scott topology on Smyth power posets. 832-867
Volume 33, Number 10, November 2023
- Benedikt Ahrens
Bicategorical type theory: semantics and syntax. 868-912 - Tobias Fritz
Dilations and information flow axioms in categorical probability. 913-957
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 2025-01-08 22:46 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: