Paper
The logic of the reverse mathematics zoo
-
- Published online by Cambridge University Press:
- 10 November 2016, pp. 412-428
-
- Article
- Export citation
Paths, tree homomorphisms and disequalities for -clauses
-
- Published online by Cambridge University Press:
- 06 December 2017, pp. 1786-1846
-
- Article
- Export citation
Coinductive predicates and final sequences in a fibration
-
- Published online by Cambridge University Press:
- 18 April 2017, pp. 562-611
-
- Article
-
- You have access
- Export citation
Mechanizing proofs with logical relations – Kripke-style
-
- Published online by Cambridge University Press:
- 02 August 2018, pp. 1606-1638
-
- Article
- Export citation
Linear pattern matching of compressed terms and polynomial rewriting
-
- Published online by Cambridge University Press:
- 02 August 2018, pp. 1415-1450
-
- Article
- Export citation
Corrigendum
W-types in homotopy-type theory – CORRIGENDUM
-
- Published online by Cambridge University Press:
- 05 April 2016, p. 140
-
- Article
-
- You have access
- Export citation
Paper
Order algebras: a quantitative model of interaction
-
- Published online by Cambridge University Press:
- 13 February 2017, pp. 1126-1168
-
- Article
- Export citation
The algebra of recursive graph transformation language UnCAL: complete axiomatisation and iteration categorical semantics
-
- Published online by Cambridge University Press:
- 24 October 2016, pp. 287-337
-
- Article
- Export citation
Validating Brouwer's continuity principle for numbers using named exceptions
-
- Published online by Cambridge University Press:
- 02 November 2017, pp. 942-990
-
- Article
- Export citation
A linear/producer/consumer model of classical linear logic
-
- Published online by Cambridge University Press:
- 27 October 2016, pp. 710-735
-
- Article
- Export citation
Non-size increasing graph rewriting for natural language processing
-
- Published online by Cambridge University Press:
- 19 July 2018, pp. 1451-1484
-
- Article
- Export citation
Execution time of λ-terms via denotational semantics and intersection types
-
- Published online by Cambridge University Press:
- 30 January 2017, pp. 1169-1203
-
- Article
- Export citation
Complexity for partial computable functions over computable Polish spaces
-
- Published online by Cambridge University Press:
- 19 December 2016, pp. 429-447
-
- Article
- Export citation
Jump from parallel to sequential proofs: exponentials
-
- Published online by Cambridge University Press:
- 05 December 2016, pp. 1204-1252
-
- Article
- Export citation
Finding small counterexamples for abstract rewriting properties
-
- Published online by Cambridge University Press:
- 25 July 2018, pp. 1485-1505
-
- Article
- Export citation
The universality of polynomial time Turing equivalence
-
- Published online by Cambridge University Press:
- 13 July 2016, pp. 448-456
-
- Article
- Export citation
An explicit formula for the free exponential modality of linear logic
-
- Published online by Cambridge University Press:
- 21 April 2017, pp. 1253-1286
-
- Article
- Export citation
Calibrating word problems of groups via the complexity of equivalence relations
-
- Published online by Cambridge University Press:
- 19 October 2016, pp. 457-471
-
- Article
- Export citation