5571 results in Programming Languages and Applied Logic
Frontmatter
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp i-iv
-
- Chapter
- Export citation
Contents
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp v-vi
-
- Chapter
- Export citation
7 - Inequations
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 109-123
-
- Chapter
- Export citation
Sequentiality and full abstraction
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 66-94
-
- Chapter
- Export citation
2 - Types and Inheritance
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 11-32
-
- Chapter
- Export citation
15 - Recursive Type Constraints
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 227-244
-
- Chapter
- Export citation
Acknowledgments
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp vii-viii
-
- Chapter
- Export citation
10 - Variables and Assignments
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 151-159
-
- Chapter
- Export citation
Penrose diagrams and 2-dimensional rewriting
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 191-201
-
- Chapter
- Export citation
11 - Feature Algebras
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 160-166
-
- Chapter
- Export citation
I-categories and duality
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 270-287
-
- Chapter
- Export citation
Remarks on algebraically compact categories
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 95-106
-
- Chapter
- Export citation
3 - Feature Structures
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 33-50
-
- Chapter
- Export citation
13 - Unification-Based Phrase Structure Grammars
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 185-214
-
- Chapter
- Export citation
I - BASICS
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 9-10
-
- Chapter
- Export citation
Applications of Categories in Computer Science
- Proceedings of the London Mathematical Society Symposium, Durham 1991
-
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992
On clubs and data-type constructors
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 163-190
-
- Chapter
- Export citation
Miscellaneous Frontmatter
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp viii-x
-
- Chapter
- Export citation
The Logic of Typed Feature Structures
- With Applications to Unification Grammars, Logic Programs and Constraint Resolution
-
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992
III - ALTERNATIVES
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 149-150
-
- Chapter
- Export citation