10 results
AFFINE LOGIC FOR CONSTRUCTIVE MATHEMATICS
- Part of
-
- Journal:
- Bulletin of Symbolic Logic / Volume 28 / Issue 3 / September 2022
- Published online by Cambridge University Press:
- 21 July 2022, pp. 327-386
- Print publication:
- September 2022
-
- Article
- Export citation
6 - Homotopy Type Theory: The Logic of Space
- from Part II - Topology and Algebraic Topology
-
-
- Book:
- New Spaces in Mathematics
- Published online:
- 22 March 2021
- Print publication:
- 01 April 2021, pp 322-404
-
- Chapter
- Export citation
Semantics of higher inductive types
- Part of
-
- Journal:
- Mathematical Proceedings of the Cambridge Philosophical Society / Volume 169 / Issue 1 / July 2020
- Published online by Cambridge University Press:
- 17 June 2019, pp. 159-208
- Print publication:
- July 2020
-
- Article
- Export citation
Brouwer's fixed-point theorem in real-cohesive homotopy type theory
-
- Journal:
- Mathematical Structures in Computer Science / Volume 28 / Issue 6 / June 2018
- Published online by Cambridge University Press:
- 17 August 2017, pp. 856-941
-
- Article
- Export citation
The Distribution of the First Elementary Divisor of the Reductions of a Generic Drinfeld Module of Arbitrary Rank
-
- Journal:
- Canadian Journal of Mathematics / Volume 67 / Issue 6 / 01 December 2015
- Published online by Cambridge University Press:
- 20 November 2018, pp. 1326-1357
- Print publication:
- 01 December 2015
-
- Article
-
- You have access
- Export citation
Univalent categories and the Rezk completion
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 19 January 2015, pp. 1010-1039
-
- Article
-
- You have access
- Export citation
Univalence for inverse diagrams and homotopy canonicity
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 5 / June 2015
- Published online by Cambridge University Press:
- 24 November 2014, pp. 1203-1277
-
- Article
-
- You have access
- Export citation
The additivity of traces in monoidal derivators
-
- Journal:
- Journal of K-Theory / Volume 14 / Issue 3 / December 2014
- Published online by Cambridge University Press:
- 14 July 2014, pp. 422-494
- Print publication:
- December 2014
-
- Article
- Export citation
Contributors
-
-
- Book:
- Brain Repair After Stroke
- Published online:
- 10 November 2010
- Print publication:
- 28 October 2010, pp viii-x
-
- Chapter
- Export citation
An Audit Tool for Intellectual Property Management: IP Management in the Queensland Department of Primary Industries
-
- Journal:
- Queensland Review / Volume 10 / Issue 1 / May 2003
- Published online by Cambridge University Press:
- 26 February 2016, pp. 71-88
- Print publication:
- May 2003
-
- Article
- Export citation