5571 results in Programming Languages and Applied Logic
Contents
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp v-vi
-
- Chapter
- Export citation
List of Tables
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp ix-x
-
- Chapter
- Export citation
List of Figures
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp vii-viii
-
- Chapter
- Export citation
Preface
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp xi-xii
-
- Chapter
- Export citation
3 - Binding Time Made Explicit
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 33-78
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- Two-Level Functional Languages
- Published online:
- 12 October 2009
- Print publication:
- 16 July 1992, pp 1-6
-
- Chapter
- Export citation
1 - Introduction
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 1-8
-
- Chapter
- Export citation
IV - APPLICATIONS
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 183-184
-
- Chapter
- Export citation
Dinaturality for free
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 107-118
-
- Chapter
- Export citation
8 - Identity and Extensionality
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 124-138
-
- Chapter
- Export citation
9 - Maximality, Groundedness, and Closed World Inference
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 139-148
-
- Chapter
- Export citation
Index
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 263-270
-
- Chapter
- Export citation
Index of Symbols
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 259-262
-
- Chapter
- Export citation
6 - Appropriateness and Typing
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 77-108
-
- Chapter
- Export citation
14 - Definite Clause Programming
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 215-226
-
- Chapter
- Export citation
Partial products, bagdomains and hyperlocal toposes
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 315-339
-
- Chapter
- Export citation
II - EXTENSIONS
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 71-72
-
- Chapter
- Export citation
Bibliography
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 245-258
-
- Chapter
- Export citation
Preface
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp vii-vii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp i-iv
-
- Chapter
- Export citation