Paper
Computations with oracles that measure vanishing quantities
-
- Published online by Cambridge University Press:
- 23 June 2016, pp. 1315-1363
-
- Article
- Export citation
Infinitary affine proofs
-
- Published online by Cambridge University Press:
- 07 July 2015, pp. 581-602
-
- Article
- Export citation
Linked data privacy
-
- Published online by Cambridge University Press:
- 18 March 2015, pp. 33-53
-
- Article
- Export citation
Representation of algebraic domains by formal association rule systems†
-
- Published online by Cambridge University Press:
- 15 May 2015, pp. 470-490
-
- Article
- Export citation
Equational axioms associated with finite automata for fixed point operations in cartesian categories
-
- Published online by Cambridge University Press:
- 08 April 2015, pp. 54-69
-
- Article
- Export citation
Lambda theories allowing terms with a finite number of fixed points
-
- Published online by Cambridge University Press:
- 29 July 2015, pp. 405-427
-
- Article
- Export citation
Isomorphism theorems between models of mixed choice
-
- Published online by Cambridge University Press:
- 28 December 2015, pp. 1032-1067
-
- Article
- Export citation
Quasivarieties and varieties of ordered algebras: regularity and exactness†
-
- Published online by Cambridge University Press:
- 18 January 2016, pp. 1153-1194
-
- Article
-
- You have access
- Export citation
A realizability interpretation of Church's simple theory of types
-
- Published online by Cambridge University Press:
- 22 July 2016, pp. 1364-1385
-
- Article
- Export citation
Characterising E-projectives via Comonads
-
- Published online by Cambridge University Press:
- 12 May 2015, pp. 491-506
-
- Article
- Export citation
Fast circular dictionary-matching algorithm
-
- Published online by Cambridge University Press:
- 11 May 2015, pp. 143-156
-
- Article
-
- You have access
- Open access
- Export citation
Isomorphism of intersection and union types†
-
- Published online by Cambridge University Press:
- 07 August 2015, pp. 603-625
-
- Article
- Export citation
Ordered combinatory algebras and realizability†
-
- Published online by Cambridge University Press:
- 10 September 2015, pp. 428-458
-
- Article
- Export citation
Classical realizability and arithmetical formulæ
-
- Published online by Cambridge University Press:
- 18 January 2016, pp. 1068-1107
-
- Article
- Export citation
Computation over algebraic structures and a classification of undecidable problems
-
- Published online by Cambridge University Press:
- 20 June 2016, pp. 1386-1413
-
- Article
- Export citation
Permutation classes and polyomino classes with excluded submatrices
-
- Published online by Cambridge University Press:
- 03 July 2015, pp. 157-183
-
- Article
- Export citation
Smooth coalgebra: testing vector analysis
-
- Published online by Cambridge University Press:
- 14 December 2015, pp. 1195-1235
-
- Article
-
- You have access
- Export citation
Cartesian differential categories revisited
-
- Published online by Cambridge University Press:
- 13 April 2015, pp. 70-91
-
- Article
- Export citation
Essential and relational models†
-
- Published online by Cambridge University Press:
- 23 July 2015, pp. 626-650
-
- Article
- Export citation
Well-filtered spaces and their dcpo models
-
- Published online by Cambridge University Press:
- 12 May 2015, pp. 507-515
-
- Article
- Export citation