5570 results in Programming Languages and Applied Logic
Frontmatter
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp i-vi
-
- Chapter
- Export citation
1 - Inductive principles
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 1-9
-
- Chapter
- Export citation
2 - The asynchronous PI-CALCULUS
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 10-54
-
- Chapter
- Export citation
Bibliography
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 254-256
-
- Chapter
- Export citation
A Distributed Pi-Calculus
-
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007
Notation
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 250-253
-
- Chapter
- Export citation
Acknowledgements
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp xvii-xviii
-
- Chapter
- Export citation
5 - A distributed asynchronous PI-CALCULUS
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 124-193
-
- Chapter
- Export citation
Sources
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 244-247
-
- Chapter
- Export citation
6 - Behavioural equivalences for aDpi
-
- Book:
- A Distributed Pi-Calculus
- Published online:
- 05 August 2012
- Print publication:
- 08 March 2007, pp 194-243
-
- Chapter
- Export citation
Contents
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp vii-xi
-
- Chapter
- Export citation
Chapter 4 - Defining functions
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 30-37
-
- Chapter
- Export citation
Chapter 1 - Introduction
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 1-9
-
- Chapter
- Export citation
Chapter 5 - List comprehensions
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 38-47
-
- Chapter
- Export citation
Chapter 6 - Recursive functions
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 48-60
-
- Chapter
- Export citation
Index
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 169-171
-
- Chapter
- Export citation
Appendix A - Standard prelude
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 156-165
-
- Chapter
- Export citation
Chapter 2 - First steps
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 10-16
-
- Chapter
- Export citation
Appendix B - Symbol table
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 166-166
-
- Chapter
- Export citation
Bibliography
-
- Book:
- Programming in Haskell
- Published online:
- 05 June 2012
- Print publication:
- 15 January 2007, pp 167-168
-
- Chapter
- Export citation