Research Article
Axiomatizing permutation equivalence†
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 219-249
-
- Article
- Export citation
A note on recursive functions†
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 127-139
-
- Article
- Export citation
Other
Preface
-
- Published online by Cambridge University Press:
- 19 April 2018, p. 503
-
- Article
- Export citation
Research Article
Typing and subtyping for mobile processes
-
- Published online by Cambridge University Press:
- 19 April 2018, pp. 409-453
-
- Article
- Export citation
Datatype laws without signatures
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 1-32
-
- Article
- Export citation
! and ? – Storage as tensorial strength
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 313-351
-
- Article
- Export citation
Colimits in the category DCPO
-
- Published online by Cambridge University Press:
- 19 April 2018, pp. 455-468
-
- Article
- Export citation
Mirror, mirror in my hand: a duality between specifications and models of process behaviour†
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 353-373
-
- Article
- Export citation
Linear time computable problems and first-order descriptions
-
- Published online by Cambridge University Press:
- 19 April 2018, pp. 505-526
-
- Article
- Export citation
Equivalent definitions of recognizability for sets of graphs of bounded tree-width
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 141-165
-
- Article
- Export citation
Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 33-67
-
- Article
- Export citation
A polynomial-time algorithm for deciding bisimulation equivalence of normed Basic Parallel Processes
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 251-259
-
- Article
- Export citation
A categorical approach to the semantics of argumentation
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 167-188
-
- Article
- Export citation
Constructive theory of the lower power locale
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 69-83
-
- Article
- Export citation
On outward and inward productions in the categorical graph-grammar approach and Δ-grammars
-
- Published online by Cambridge University Press:
- 19 April 2018, pp. 527-543
-
- Article
- Export citation
Interpolation and compactness in categories of pre-institutions
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 261-286
-
- Article
- Export citation
Reflexive objects in topological categories
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 375-386
-
- Article
- Export citation
Higher-order intersection types and multiple inheritance†
-
- Published online by Cambridge University Press:
- 19 April 2018, pp. 469-501
-
- Article
- Export citation
Front matter
MSC volume 6 issue 5 Cover and Front matter
-
- Published online by Cambridge University Press:
- 19 April 2018, pp. f1-f2
-
- Article
-
- You have access
- Export citation
Research Article
The structure of interlaced bilattices
-
- Published online by Cambridge University Press:
- 04 March 2009, pp. 287-299
-
- Article
- Export citation