10 results
On generalized algebraic theories and categories with families
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 9 / October 2021
- Published online by Cambridge University Press:
- 18 October 2021, pp. 1006-1023
-
- Article
-
- You have access
- Open access
- Export citation
Injective types in univalent mathematics
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 1 / January 2021
- Published online by Cambridge University Press:
- 05 January 2021, pp. 89-111
-
- Article
-
- You have access
- Open access
- Export citation
THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT
-
- Journal:
- The Journal of Symbolic Logic / Volume 82 / Issue 2 / June 2017
- Published online by Cambridge University Press:
- 19 June 2017, pp. 590-607
- Print publication:
- June 2017
-
- Article
- Export citation
BAR RECURSION AND PRODUCTS OF SELECTION FUNCTIONS
-
- Journal:
- The Journal of Symbolic Logic / Volume 80 / Issue 1 / March 2015
- Published online by Cambridge University Press:
- 13 March 2015, pp. 1-28
- Print publication:
- March 2015
-
- Article
- Export citation
Constructive decidability of classical continuity
-
- Journal:
- Mathematical Structures in Computer Science / Volume 25 / Issue 7 / October 2015
- Published online by Cambridge University Press:
- 23 December 2014, pp. 1578-1589
-
- Article
- Export citation
Infinite sets that Satisfy the Principle of Omniscience in any Variety of Constructive Mathematics
-
- Journal:
- The Journal of Symbolic Logic / Volume 78 / Issue 3 / September 2013
- Published online by Cambridge University Press:
- 12 August 2016, pp. 764-784
- Print publication:
- September 2013
-
- Article
- Export citation
Selection functions, bar recursion and backward induction
-
- Journal:
- Mathematical Structures in Computer Science / Volume 20 / Issue 2 / April 2010
- Published online by Cambridge University Press:
- 25 March 2010, pp. 127-168
-
- Article
- Export citation
Preface
-
- Journal:
- Mathematical Structures in Computer Science / Volume 17 / Issue 5 / October 2007
- Published online by Cambridge University Press:
- 01 October 2007, p. 839
-
- Article
- Export citation
Preface
-
- Journal:
- Mathematical Structures in Computer Science / Volume 16 / Issue 2 / April 2006
- Published online by Cambridge University Press:
- 17 May 2006, pp. 139-140
-
- Article
-
- You have access
- Export citation
On the non-sequential nature of the interval-domain model of real-number computation
-
- Journal:
- Mathematical Structures in Computer Science / Volume 14 / Issue 6 / December 2004
- Published online by Cambridge University Press:
- 16 November 2004, pp. 803-814
-
- Article
- Export citation