Research Article
Special issue: Modalities in type theory
-
- Published online by Cambridge University Press:
- 25 July 2001, pp. 507-509
-
- Article
- Export citation
Editorial
Preface to Locus Solum
-
- Published online by Cambridge University Press:
- 05 July 2001, pp. 299-300
-
- Article
-
- You have access
- Export citation
Research Article
The classical AI planning problems in the mirror of Horn linear logic: semantics, expressibility, complexity
-
- Published online by Cambridge University Press:
- 09 January 2002, pp. 689-716
-
- Article
- Export citation
Computation Algebras
-
- Published online by Cambridge University Press:
- 25 September 2001, pp. 597-636
-
- Article
- Export citation
Control categories and duality: on the categorical semantics of the lambda-mu calculus
-
- Published online by Cambridge University Press:
- 30 March 2001, pp. 207-260
-
- Article
- Export citation
Foreword
Theory and applications of explicit substitutions: Introduction
-
- Published online by Cambridge University Press:
- 07 March 2001, p. 1
-
- Article
-
- You have access
- Export citation
Research Article
A judgmental reconstruction of modal logic
-
- Published online by Cambridge University Press:
- 25 July 2001, pp. 511-540
-
- Article
- Export citation
Pure type systems with explicit substitution
-
- Published online by Cambridge University Press:
- 07 March 2001, pp. 3-19
-
- Article
- Export citation
Implicit exchange in multiplicative proofnets
-
- Published online by Cambridge University Press:
- 30 March 2001, pp. 261-272
-
- Article
- Export citation
Strongly algebraic = SFP (topically)
-
- Published online by Cambridge University Press:
- 09 January 2002, pp. 717-742
-
- Article
- Export citation
Locus Solum: From the rules of logic to the logic of rules
-
- Published online by Cambridge University Press:
- 05 July 2001, pp. 301-506
-
- Article
- Export citation
Double-pushout graph transformation revisited
-
- Published online by Cambridge University Press:
- 25 September 2001, pp. 637-688
-
- Article
- Export citation
Recognizable languages in divisibility monoids
-
- Published online by Cambridge University Press:
- 09 January 2002, pp. 743-770
-
- Article
- Export citation
Mu-depth 3 is more than 2: a game-theoretic proof
-
- Published online by Cambridge University Press:
- 30 March 2001, pp. 273-297
-
- Article
- Export citation
The Russell–Prawitz modality
-
- Published online by Cambridge University Press:
- 25 July 2001, pp. 541-554
-
- Article
- Export citation
HOL-λσ: an intentional first-order expression of higher-order logic
-
- Published online by Cambridge University Press:
- 07 March 2001, pp. 21-45
-
- Article
- Export citation
Recursion over objects of functional type
-
- Published online by Cambridge University Press:
- 25 July 2001, pp. 555-572
-
- Article
- Export citation
On the elimination of some higher type quantifiers
-
- Published online by Cambridge University Press:
- 09 January 2002, pp. 771-779
-
- Article
- Export citation
Perpetuality in a named lambda calculus with explicit substitutions
-
- Published online by Cambridge University Press:
- 07 March 2001, pp. 47-90
-
- Article
- Export citation
Dependent types and explicit substitutions: a meta-theoretical development
-
- Published online by Cambridge University Press:
- 07 March 2001, pp. 91-129
-
- Article
- Export citation