15 results
Encoding FIX in Object Calculi
-
- Journal:
- RAIRO - Theoretical Informatics and Applications / Volume 34 / Issue 1 / January 2000
- Published online by Cambridge University Press:
- 15 April 2002, pp. 15-38
- Print publication:
- January 2000
-
- Article
- Export citation
Relating operational and denotational semantics for input/output effects
-
- Journal:
- Mathematical Structures in Computer Science / Volume 9 / Issue 2 / April 1999
- Published online by Cambridge University Press:
- 01 April 1999, pp. 125-158
-
- Article
- Export citation
5 - Polymorphic Functional Type Theory
-
- Book:
- Categories for Types
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1994, pp 201-274
-
- Chapter
- Export citation
Advice for the Reader
-
- Book:
- Categories for Types
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1994, pp xiv-xviii
-
- Chapter
- Export citation
1 - Order, Lattices and Domains
-
- Book:
- Categories for Types
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1994, pp 1-36
-
- Chapter
- Export citation
Preface
-
- Book:
- Categories for Types
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1994, pp x-xiii
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Categories for Types
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1994, pp i-vi
-
- Chapter
- Export citation
2 - A Category Theory Primer
-
- Book:
- Categories for Types
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1994, pp 37-119
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Categories for Types
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1994, pp 315-319
-
- Chapter
- Export citation
3 - Algebraic Type Theory
-
- Book:
- Categories for Types
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1994, pp 120-153
-
- Chapter
- Export citation
Contents
-
- Book:
- Categories for Types
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1994, pp vii-ix
-
- Chapter
- Export citation
Index
-
- Book:
- Categories for Types
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1994, pp 320-335
-
- Chapter
- Export citation
![](https://assets.cambridge.org/97805214/57019/cover/9780521457019.jpg)
Categories for Types
-
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1994
4 - Functional Type Theory
-
- Book:
- Categories for Types
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1994, pp 154-200
-
- Chapter
- Export citation
6 - Higher Order Polymorphism
-
- Book:
- Categories for Types
- Published online:
- 05 June 2012
- Print publication:
- 27 January 1994, pp 275-314
-
- Chapter
- Export citation