default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDMathematical 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, Razin A. Shaikh, Yiran Li, Amin Farjudian:
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, Francesco Gavazzo, Paolo Pistone:
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, Prakash Panangaden:
Behavioural equivalences for continuous-time Markov processes. 222-258 - Thomas Ehrhard:
Coherent differentiation. 259-310 - Fernando Lucatelli Nunes, Matthijs Vákár:
CHAD for expressive total languages. 311-426 - Tetsuya Sato, Shin-ya Katsumata:
Divergences on monads for relational program logics. 427-485
Volume 33, Number 6, June 2023
- Célia Borlido, Mai Gehrke:
Substitution Principle and semidirect products. 486-535 - Amin Farjudian, Eugenio Moggi:
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, Peter LeFanu Lumsdaine:
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, Egbert Rijke:
The long exact sequence of homotopy n-groups. 679-687 - Danil Annenkov, Paolo Capriotti, Nicolai Kraus, Christian Sattler:
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, Keng Meng Ng:
Computable soft separation axioms. 781-808 - Hualin Miao, Xiaoyong Xi, Qingguo Li, Dongsheng Zhao:
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, Paige Randall North, Niels van der Weide:
Bicategorical type theory: semantics and syntax. 868-912 - Tobias Fritz, Tomás Gonda, Nicholas Gauguin Houghton-Larsen, Antonio Lorenzin, Paolo Perrone, Dario Stein:
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-10-24 21:52 CEST 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:
