27 results
Abstract cyclic proofs
-
- Journal:
- Mathematical Structures in Computer Science , First View
- Published online by Cambridge University Press:
- 19 April 2024, pp. 1-26
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
BEYOND LINGUISTIC INTERPRETATION IN THEORY COMPARISON
- Part of
-
- Journal:
- The Review of Symbolic Logic , First View
- Published online by Cambridge University Press:
- 21 December 2023, pp. 1-41
-
- Article
- Export citation
Robustness, Scott continuity, and computability
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 6 / June 2023
- Published online by Cambridge University Press:
- 04 August 2023, pp. 536-572
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
SHEAFIFICATION AS A DESIGN TECHNIQUE FOR CREATIVE PRESERVATION – PRINCIPLES, ILLUSTRATIONS, AND FIRST APPLICATIONS
-
- Journal:
- Proceedings of the Design Society / Volume 3 / July 2023
- Published online by Cambridge University Press:
- 19 June 2023, pp. 3165-3174
-
- Article
-
- You have access
- Open access
- Export citation
What should a generic object be?
-
- Journal:
- Mathematical Structures in Computer Science / Volume 33 / Issue 1 / January 2023
- Published online by Cambridge University Press:
- 25 April 2023, pp. 46-67
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
A category-theoretic proof of the ergodic decomposition theorem
- Part of
-
- Journal:
- Ergodic Theory and Dynamical Systems / Volume 43 / Issue 12 / December 2023
- Published online by Cambridge University Press:
- 15 February 2023, pp. 4166-4192
- Print publication:
- December 2023
-
- Article
- Export citation
Non-Deterministic Matrices: Theory and Applications to Algebraic Semantics
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 2 / June 2022
- Published online by Cambridge University Press:
- 28 June 2022, pp. 260-261
- Print publication:
- June 2022
-
- Article
-
- You have access
- Export citation
STRONG HOMOMORPHISMS, CATEGORY THEORY, AND SEMANTIC PARADOX
- Part of
-
- Journal:
- The Review of Symbolic Logic / Volume 15 / Issue 4 / December 2022
- Published online by Cambridge University Press:
- 30 May 2022, pp. 1070-1093
- Print publication:
- December 2022
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Bisimulation as a logical relation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 32 / Issue 4 / April 2022
- Published online by Cambridge University Press:
- 12 April 2022, pp. 442-471
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Theoretical Computer Science for the Working Category Theorist
-
- Published online:
- 25 January 2022
- Print publication:
- 03 March 2022
-
- Element
- Export citation
4 - Mathematics for AI: Categories, Toposes, Types
- from Part I - Computing
-
- Book:
- Mathematics for Future Computing and Communications
- Published online:
- 03 December 2021
- Print publication:
- 16 December 2021, pp 98-132
-
- Chapter
- Export citation
2 - Probabilistic Programs as Measures
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 43-74
-
- Chapter
-
- You have access
- Open access
- Export citation
9 - The Logical Essentials of Bayesian Reasoning
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 295-332
-
- Chapter
-
- You have access
- Open access
- Export citation
Petri nets based on Lawvere theories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 7 / August 2020
- Published online by Cambridge University Press:
- 09 November 2020, pp. 833-864
-
- Article
-
- You have access
- Open access
- Export citation
Indexed type theories
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 1 / January 2021
- Published online by Cambridge University Press:
- 22 May 2020, pp. 3-63
-
- Article
- Export citation
15 - What Can (Mathematical) Categories Tell Us about Spacetime?
- from Part III - Issues of Interpretation
-
-
- Book:
- Beyond Spacetime
- Published online:
- 24 April 2020
- Print publication:
- 14 May 2020, pp 338-357
-
- Chapter
- Export citation
Modal dependent type theory and dependent right adjoints
-
- Journal:
- Mathematical Structures in Computer Science / Volume 30 / Issue 2 / February 2020
- Published online by Cambridge University Press:
- 12 December 2019, pp. 118-138
-
- Article
- Export citation
ALGEBRAIC NEW FOUNDATIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 84 / Issue 2 / June 2019
- Published online by Cambridge University Press:
- 05 February 2019, pp. 798-832
- Print publication:
- June 2019
-
- Article
- Export citation
A LOGICAL AND ALGEBRAIC CHARACTERIZATION OF ADJUNCTIONS BETWEEN GENERALIZED QUASI-VARIETIES
-
- Journal:
- The Journal of Symbolic Logic / Volume 83 / Issue 3 / September 2018
- Published online by Cambridge University Press:
- 23 October 2018, pp. 899-919
- Print publication:
- September 2018
-
- Article
- Export citation
SYMMETRIC OPERADS IN ABSTRACT SYMMETRIC SPECTRA
- Part of
-
- Journal:
- Journal of the Institute of Mathematics of Jussieu / Volume 18 / Issue 4 / July 2019
- Published online by Cambridge University Press:
- 25 May 2018, pp. 707-758
- Print publication:
- July 2019
-
- Article
- Export citation