Paper
Substitution Principle and semidirect products
-
- Published online by Cambridge University Press:
- 15 August 2023, pp. 486-535
-
- Article
- Export citation
Editorial Preface
Special issue on homotopy type theory 2019 vol. 2
-
- Published online by Cambridge University Press:
- 11 September 2023, p. 660
-
- Article
-
- You have access
- HTML
- Export citation
Special Issue: Homotopy Type Theory 2019
A general framework for the semantics of type theory
-
- Published online by Cambridge University Press:
- 24 July 2023, pp. 134-179
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Paper
An intuitionistic set-theoretical model of fully dependent CC
$^{\boldsymbol\omega}$
-
- Published online by Cambridge University Press:
- 17 April 2023, pp. 1-32
-
- Article
- Export citation
Computable soft separation axioms
-
- Published online by Cambridge University Press:
- 12 October 2023, pp. 781-808
-
- Article
- Export citation
Editorial Preface
Preface to the special issue on metric and differential semantics
-
- Published online by Cambridge University Press:
- 07 August 2023, pp. 180-181
-
- Article
-
- You have access
- HTML
- Export citation
Paper
Apartness, sharp elements, and the Scott topology of domains
-
- Published online by Cambridge University Press:
- 02 August 2023, pp. 573-604
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Bicategorical type theory: semantics and syntax
-
- Published online by Cambridge University Press:
- 17 October 2023, pp. 868-912
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A domain-theoretic framework for robustness analysis of neural networks
-
- Published online by Cambridge University Press:
- 23 May 2023, pp. 68-105
-
- Article
- Export citation
Local Yoneda completions of quasi-metric spaces
-
- Published online by Cambridge University Press:
- 24 March 2023, pp. 33-45
-
- Article
- Export citation
Univalent categories of modules
-
- Published online by Cambridge University Press:
- 23 June 2023, pp. 106-133
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Game semantics of Martin-Löf type theory
-
- Published online by Cambridge University Press:
- 31 July 2023, pp. 605-646
-
- Article
- Export citation
Robustness, Scott continuity, and computability
-
- Published online by Cambridge University Press:
- 04 August 2023, pp. 536-572
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Special Issue: Differences and Metrics in Programs Semantics: Advances in Quantitative Relational Reasoning
Up-to techniques for behavioural metrics via fibrations
-
- Published online by Cambridge University Press:
- 10 July 2023, pp. 182-221
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Paper
Not every countable complete distributive lattice is sober
-
- Published online by Cambridge University Press:
- 28 July 2023, pp. 809-831
-
- Article
- Export citation
Special Issue: Homotopy Type Theory 2019
On notions of compactness, object classifiers, and weak Tarski universes
-
- Published online by Cambridge University Press:
- 20 February 2023, pp. 661-678
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Paper
Dilations and information flow axioms in categorical probability
-
- Published online by Cambridge University Press:
- 25 October 2023, pp. 913-957
-
- Article
- Export citation
Special Issue: Homotopy Type Theory 2019
The long exact sequence of homotopy n-groups
-
- Published online by Cambridge University Press:
- 07 September 2023, pp. 679-687
-
- Article
- Export citation
Paper
What should a generic object be?
-
- Published online by Cambridge University Press:
- 25 April 2023, pp. 46-67
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Scott topology on Smyth power posets
-
- Published online by Cambridge University Press:
- 27 July 2023, pp. 832-867
-
- Article
- Export citation