Editorial Preface
Preface to the special issue on quantitative information flow
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 203-206
-
- Article
-
- You have access
- Export citation
Preface to the special issue: Computing with infinite data: topological and logical foundations
-
- Published online by Cambridge University Press:
- 13 November 2014, pp. 1463-1465
-
- Article
-
- You have access
- Export citation
Paper
A short proof of the Schröder–Simpson Theorem
-
- Published online by Cambridge University Press:
- 02 December 2014, pp. 1-5
-
- Article
- Export citation
Non-deterministic structures of computation
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1295-1338
-
- Article
- Export citation
Editorial Preface
Preface
-
- Published online by Cambridge University Press:
- 12 December 2014, p. 764
-
- Article
-
- You have access
- Export citation
Preface: Special issue on objects and services
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 480-481
-
- Article
-
- You have access
- Export citation
Paper
Completeness and cocompleteness of the categories of basic pairs and concrete spaces
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1626-1648
-
- Article
- Export citation
Introduction
Introduction – from type theory and homotopy theory to univalent foundations
-
- Published online by Cambridge University Press:
- 10 March 2015, pp. 1005-1009
-
- Article
-
- You have access
- Export citation
Paper
Univalent categories and the Rezk completion
-
- Published online by Cambridge University Press:
- 19 January 2015, pp. 1010-1039
-
- Article
-
- You have access
- Export citation
Kan injectivity in order-enriched categories
-
- Published online by Cambridge University Press:
- 02 December 2014, pp. 6-45
-
- Article
- Export citation
Special Issue: Quantitative Information Flow
Quantification of integrity†
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 207-258
-
- Article
- Export citation
Paper
Generalized geometric theories and set-generated classes
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1466-1483
-
- Article
- Export citation
Bisimulation proof methods in a path-based specification language for polynomial coalgebras†
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 765-804
-
- Article
- Export citation
Sub-behaviour relations for session-based client/server systems
-
- Published online by Cambridge University Press:
- 14 November 2014, pp. 1339-1381
-
- Article
- Export citation
Special Issue: Objects and Services
Abstract delta modelling
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 482-527
-
- Article
- Export citation
Paper
Comparing the Medvedev and Turing degrees of Π01 classes
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1649-1668
-
- Article
- Export citation
Inclusions for partiality
-
- Published online by Cambridge University Press:
- 02 December 2014, pp. 46-82
-
- Article
- Export citation
Special Issue: Quantitative Information Flow
A semiring-based trace semantics for processes with applications to information leakage analysis
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 259-291
-
- Article
- Export citation
Paper
On recursive operations over logic LTS†
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 1382-1431
-
- Article
- Export citation
JNI light: an operational model for the core JNI
-
- Published online by Cambridge University Press:
- 10 November 2014, pp. 805-840
-
- Article
- Export citation