5571 results in Programming Languages and Applied Logic
4 - Attribute-Value Descriptions and Satisfaction
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 51-70
-
- Chapter
- Export citation
12 - Infinite Feature Structures and Domains
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 167-182
-
- Chapter
- Export citation
5 - Acyclic Feature Structures
-
- Book:
- The Logic of Typed Feature Structures
- Published online:
- 12 October 2009
- Print publication:
- 26 June 1992, pp 73-76
-
- Chapter
- Export citation
Modelling reduction in confluent categories
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 143-162
-
- Chapter
- Export citation
Reasoning about sequential functions via logical relations
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 258-269
-
- Chapter
- Export citation
Using fibrations to understand subtypes
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 239-257
-
- Chapter
- Export citation
Computational comonads and intensional semantics
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 1-44
-
- Chapter
- Export citation
Strong monads, algebras and fixed points
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 202-216
-
- Chapter
- Export citation
Geometric theories and databases
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 288-314
-
- Chapter
- Export citation
Simply typed and untyped lambda calculus revisited
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 119-142
-
- Chapter
- Export citation
Weakly distributive categories
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 45-65
-
- Chapter
- Export citation
Semantics of local variables
-
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp 217-238
-
- Chapter
- Export citation
Contents
-
- Book:
- Applications of Categories in Computer Science
- Published online:
- 24 September 2009
- Print publication:
- 26 June 1992, pp v-vi
-
- Chapter
- Export citation
14 - Temporal operators
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 180-192
-
- Chapter
- Export citation
Preface
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp xi-xii
-
- Chapter
- Export citation
10 - Procedure substitutions
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 143-148
-
- Chapter
- Export citation
Programs, Recursion and Unbounded Choice
-
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992
Frontmatter
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp i-iv
-
- Chapter
- Export citation
12 - Induction and refinement
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 160-166
-
- Chapter
- Export citation
References
-
- Book:
- Programs, Recursion and Unbounded Choice
- Published online:
- 11 March 2010
- Print publication:
- 21 May 1992, pp 217-220
-
- Chapter
- Export citation