Research Article
A formalism for the specification of essentially-algebraic structures in 2-categories†
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 1-28
-
- Article
- Export citation
Other
Preface
-
- Published online by Cambridge University Press:
- 04 March 2009, p. 109
-
- Article
- Export citation
Research Article
An imperative language based on distributive categories
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 249-256
-
- Article
- Export citation
Other
Preface
-
- Published online by Cambridge University Press:
- 04 March 2009, p. 359
-
- Article
- Export citation
Research Article
Processes as terms: non-well-founded models for bisimulation
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 257-275
-
- Article
- Export citation
Representing Control: a Study of the CPS Transformation
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 361-391
-
- Article
- Export citation
Dependence and independence results for (impredicative) calculi of dependent types
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 29-54
-
- Article
- Export citation
Engeler's scientific work
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 111-117
-
- Article
- Export citation
Continuation-based compilation of functional languages for parallel machines
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 393-414
-
- Article
- Export citation
Coherence of subsumption, minimum typing and type-checking in F ≤
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 55-91
-
- Article
- Export citation
Building domains from graph models
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 277-299
-
- Article
- Export citation
Functions as processes
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 119-141
-
- Article
- Export citation
From operational semantics to abstract machines
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 415-459
-
- Article
- Export citation
Girard quantaloids†
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 93-108
-
- Article
- Export citation
Unfold/fold transformations of logic programs
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 143-157
-
- Article
- Export citation
Projections for polymorphic first-order strictness analysis†
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 301-326
-
- Article
- Export citation
Comprehending monads†
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 461-493
-
- Article
- Export citation
Sheaf semantics for concurrent interacting objects
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 159-191
-
- Article
- Export citation
Categorical models for non-extensional λ-calculi and combinatory logic
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 327-357
-
- Article
- Export citation
Front matter
MSC volume 2 issue 1 Cover and Front matter
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. f1-f2
-
- Article
-
- You have access
- Export citation