Paper
A dependently-typed construction of semi-simplicial types
-
- Published online by Cambridge University Press:
- 20 November 2014, pp. 1116-1131
-
- Article
-
- You have access
- Export citation
Special Issue: Quantitative Information Flow
Quantifying opacity†
-
- Published online by Cambridge University Press:
- 12 November 2014, pp. 361-403
-
- Article
- Export citation
Paper
Wadge-like reducibilities on arbitrary quasi-Polish spaces
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1705-1754
-
- Article
- Export citation
Automatically inferring loop invariants via algorithmic learning†
-
- Published online by Cambridge University Press:
- 17 December 2014, pp. 892-915
-
- Article
- Export citation
Multidimensional infinite data in the language Lucid
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1546-1568
-
- Article
- Export citation
A notion of homotopy for the effective topos
-
- Published online by Cambridge University Press:
- 17 November 2014, pp. 1132-1146
-
- Article
-
- You have access
- Export citation
Context-preserving XQuery fusion
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 916-941
-
- Article
- Export citation
Special Issue: Objects and Services
Model checking usage policies†
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 710-763
-
- Article
- Export citation
Special Issue: Quantitative Information Flow
Algebraic foundations for quantitative information flow
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 404-428
-
- Article
- Export citation
Paper
A constructive interpretation of Ramsey's theorem via the product of selection functions
-
- Published online by Cambridge University Press:
- 13 November 2014, pp. 1755-1778
-
- Article
- Export citation
Variations on a theme by Ishihara
-
- Published online by Cambridge University Press:
- 12 November 2014, pp. 1569-1577
-
- Article
- Export citation
Special Issue: Quantitative Information Flow
An analysis of trust in anonymity networks in the presence of adaptive attackers
-
- Published online by Cambridge University Press:
- 21 November 2014, pp. 429-456
-
- Article
- Export citation
Paper
Effective metric model theory
-
- Published online by Cambridge University Press:
- 24 November 2014, pp. 1779-1798
-
- Article
- Export citation
A liberal type system for functional logic programs†
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 942-977
-
- Article
- Export citation
A univalent formalization of the p-adic numbers
-
- Published online by Cambridge University Press:
- 13 February 2015, pp. 1147-1171
-
- Article
-
- You have access
- Export citation
Constructive decidability of classical continuity
-
- Published online by Cambridge University Press:
- 23 December 2014, pp. 1578-1589
-
- Article
- Export citation
Some hierarchies of QCB0-spaces
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1799-1823
-
- Article
- Export citation
Concurrency cannot be observed, asynchronously†
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 978-1004
-
- Article
- Export citation
Sets in homotopy type theory†
-
- Published online by Cambridge University Press:
- 30 January 2015, pp. 1172-1202
-
- Article
-
- You have access
- Export citation
Kolmogorov complexity and the geometry of Brownian motion
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1590-1606
-
- Article
- Export citation