5571 results in Programming Languages and Applied Logic
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
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
7 - Abstraction between Models
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 129-146
-
- Chapter
- Export citation
Preface
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp xi-xiv
-
- Chapter
- Export citation
References
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 147-158
-
- Chapter
- Export citation
Index
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 159-165
-
- Chapter
- Export citation
Contents
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp v-viii
-
- Chapter
- Export citation
5 - Data Abstraction
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 69-96
-
- Chapter
- Export citation
Frontmatter
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp i-iv
-
- Chapter
- Export citation
List of Figures
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp ix-x
-
- Chapter
- Export citation
2 - Higher Order Logic and the HOL System
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 9-28
-
- Chapter
- Export citation
1 - Hardware Verification
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 1-8
-
- Chapter
- Export citation
Higher Order Logic and Hardware Verification
-
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993
6 - Temporal Abstraction
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 97-128
-
- Chapter
- Export citation
4 - Abstraction
-
- Book:
- Higher Order Logic and Hardware Verification
- Published online:
- 21 January 2010
- Print publication:
- 11 November 1993, pp 47-68
-
- Chapter
- Export citation