14 results
Symmetric monoidal smash products in homotopy type theory

 Journal:
 Mathematical Structures in Computer Science , First View
 Published online by Cambridge University Press:
 04 November 2024, pp. 123

 Article

 You have access
 Open access
 HTML
 Export citation
THE TEMPORAL CONTINUUM
 Part of

 Journal:
 The Review of Symbolic Logic , First View
 Published online by Cambridge University Press:
 12 April 2024, pp. 119

 Article

 You have access
 HTML
 Export citation
Apartness, sharp elements, and the Scott topology of domains

 Journal:
 Mathematical Structures in Computer Science / Volume 33 / Issue 7 / August 2023
 Published online by Cambridge University Press:
 02 August 2023, pp. 573604

 Article

 You have access
 Open access
 HTML
 Export citation
Game semantics of MartinLöf type theory

 Journal:
 Mathematical Structures in Computer Science / Volume 33 / Issue 7 / August 2023
 Published online by Cambridge University Press:
 31 July 2023, pp. 605646

 Article

 You have access
 HTML
 Export citation
A rewriting coherence theorem with applications in homotopy type theory

 Journal:
 Mathematical Structures in Computer Science / Volume 32 / Issue 7 / August 2022
 Published online by Cambridge University Press:
 06 February 2023, pp. 9821014

 Article

 You have access
 Open access
 HTML
 Export citation
Some representations of real numbers using integer sequences

 Journal:
 Mathematical Structures in Computer Science / Volume 32 / Issue 5 / May 2022
 Published online by Cambridge University Press:
 14 October 2022, pp. 648681

 Article
 Export citation
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. 327386
 Print publication:
 September 2022

 Article
 Export citation
Proofrelevance in Bishopstyle constructive mathematics

 Journal:
 Mathematical Structures in Computer Science / Volume 32 / Issue 1 / January 2022
 Published online by Cambridge University Press:
 31 May 2022, pp. 143

 Article

 You have access
 Open access
 HTML
 Export citation
SENSE AND REFERENCE FROM A CONSTRUCTIVIST STANDPOINT

 Journal:
 Bulletin of Symbolic Logic / Volume 27 / Issue 4 / December 2021
 Published online by Cambridge University Press:
 15 November 2021, pp. 485500
 Print publication:
 December 2021

 Article
 Export citation
4  Artificial Economics versus Mathematics?
 from Part I  Artificial Economics and Mainstream Economics

 Book:
 Artificial Economics
 Published online:
 28 October 2021
 Print publication:
 04 November 2021, pp 6070

 Chapter
 Export citation
Extensional constructive real analysis via locators

 Journal:
 Mathematical Structures in Computer Science / Volume 31 / Issue 1 / January 2021
 Published online by Cambridge University Press:
 02 September 2020, pp. 6488

 Article
 Export citation
BROUWER’S FAN THEOREM AND CONVEXITY

 Journal:
 The Journal of Symbolic Logic / Volume 83 / Issue 4 / December 2018
 Published online by Cambridge University Press:
 21 December 2018, pp. 13631375
 Print publication:
 December 2018

 Article
 Export citation
THE PREHISTORY OF THE SUBSYSTEMS OF SECONDORDER ARITHMETIC

 Journal:
 The Review of Symbolic Logic / Volume 10 / Issue 2 / June 2017
 Published online by Cambridge University Press:
 20 February 2017, pp. 357396
 Print publication:
 June 2017

 Article
 Export citation
CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE

 Journal:
 Bulletin of Symbolic Logic / Volume 22 / Issue 1 / March 2016
 Published online by Cambridge University Press:
 29 March 2016, pp. 1104
 Print publication:
 March 2016

 Article
 Export citation