5571 results in Programming Languages and Applied Logic
Preface
-
- Book:
- Handshake Circuits
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994, pp xi-xiv
-
- Chapter
- Export citation
4 - Handshake circuits
-
- Book:
- Handshake Circuits
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994, pp 73-88
-
- Chapter
- Export citation
6 - Tangram
-
- Book:
- Handshake Circuits
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994, pp 111-122
-
- Chapter
- Export citation
Contents
-
- Book:
- Handshake Circuits
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994, pp vii-viii
-
- Chapter
- Export citation
Handshake Circuits
- An Asynchronous Architecture for VLSI Programming
-
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994
8 - Handshake circuits → VLSI circuits
-
- Book:
- Handshake Circuits
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994, pp 147-174
-
- Chapter
- Export citation
5 - Sequential handshake processes
-
- Book:
- Handshake Circuits
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994, pp 89-110
-
- Chapter
- Export citation
Glossary of symbols
-
- Book:
- Handshake Circuits
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994, pp 217-221
-
- Chapter
- Export citation
7 - Tangram → handshake circuits
-
- Book:
- Handshake Circuits
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994, pp 123-146
-
- Chapter
- Export citation
3 - Handshake processes
-
- Book:
- Handshake Circuits
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994, pp 45-72
-
- Chapter
- Export citation
Foreword
-
- Book:
- Handshake Circuits
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994, pp ix-x
-
- Chapter
- Export citation
0 - Introduction
-
- Book:
- Handshake Circuits
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994, pp 1-10
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Handshake Circuits
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994, pp 209-216
-
- Chapter
- Export citation
1 - Introduction to Tangram and handshake circuits
-
- Book:
- Handshake Circuits
- Published online:
- 14 January 2010
- Print publication:
- 03 March 1994, pp 11-26
-
- Chapter
- 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