Paper
θ-continuity and Dθ-completion of posets
-
- Published online by Cambridge University Press:
- 27 February 2017, pp. 533-547
-
- Article
- Export citation
Proof-relevant π-calculus: a constructive account of concurrency and causality
-
- Published online by Cambridge University Press:
- 04 May 2017, pp. 1541-1577
-
- Article
- Export citation
Interactive and automated proofs for graph transformations
-
- Published online by Cambridge University Press:
- 27 July 2018, pp. 1333-1362
-
- Article
- Export citation
Transport of finiteness structures and applications
-
- Published online by Cambridge University Press:
- 05 December 2016, pp. 1061-1096
-
- Article
- Export citation
The geometry of conservative programs
-
- Published online by Cambridge University Press:
- 17 October 2017, pp. 1723-1769
-
- Article
- Export citation
Splitting and non-splitting in the difference hierarchy
-
- Published online by Cambridge University Press:
- 20 June 2016, pp. 384-391
-
- Article
- Export citation
Realizability algebras III: some examples
-
- Published online by Cambridge University Press:
- 03 May 2016, pp. 45-76
-
- Article
- Export citation
Dynamic networks of heterogeneous timed machines
-
- Published online by Cambridge University Press:
- 24 May 2017, pp. 800-855
-
- Article
- Export citation
Expressing additives using multiplicatives and subexponentials
-
- Published online by Cambridge University Press:
- 21 November 2016, pp. 651-666
-
- Article
- Export citation
On the expressiveness of π-calculus for encoding mobile ambients
-
- Published online by Cambridge University Press:
- 22 September 2016, pp. 202-240
-
- Article
-
- You have access
- Export citation
Autostability spectra for decidable structures
-
- Published online by Cambridge University Press:
- 14 October 2016, pp. 392-411
-
- Article
- Export citation
Geometry of resource interaction and Taylor–Ehrhard–Regnier expansion: a minimalist approach
-
- Published online by Cambridge University Press:
- 10 November 2016, pp. 667-709
-
- Article
- Export citation
The true concurrency of differential interaction nets
-
- Published online by Cambridge University Press:
- 21 November 2016, pp. 1097-1125
-
- Article
- Export citation
Essential and density topologies on s2-continuous posets
-
- Published online by Cambridge University Press:
- 30 October 2017, pp. 1770-1785
-
- Article
- Export citation
Plugging-in proof development environments using Locks in LF
-
- Published online by Cambridge University Press:
- 15 May 2018, pp. 1578-1605
-
- Article
- Export citation
A correspondence between maximal abelian sub-algebras and linear logic fragments
-
- Published online by Cambridge University Press:
- 28 July 2016, pp. 77-139
-
- Article
- Export citation
Convergence in infinitary term graph rewriting systems is simple
-
- Published online by Cambridge University Press:
- 09 August 2018, pp. 1363-1414
-
- Article
- Export citation
Yoneda completeness
-
- Published online by Cambridge University Press:
- 28 February 2017, pp. 548-561
-
- Article
- Export citation
Natural models of homotopy type theory
-
- Published online by Cambridge University Press:
- 17 November 2016, pp. 241-286
-
- Article
- Export citation
Brouwer's fixed-point theorem in real-cohesive homotopy type theory
-
- Published online by Cambridge University Press:
- 17 August 2017, pp. 856-941
-
- Article
- Export citation