Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008713887/catalog> ?p ?o. }
Showing items 1 to 22 of
22
with 100 items per page.
- catalog contributor b12209499.
- catalog contributor b12209500.
- catalog created "c2001.".
- catalog date "2001".
- catalog date "c2001.".
- catalog dateCopyrighted "c2001.".
- catalog description "Includes bibliographical references (p. 562-575) and index.".
- catalog description "pt. I. The [pi]-calculus. 1. Processes. 2. Behavioural Equivalence -- pt. II. Variations of the [pi]-calculus. 3. Polyadicity and Recursion. 4. Behavioural Equivalence, continued. 5. Subcalculi -- pt. III. Typed [pi]-calculi. 6. Foundations. 7. Subtyping. 8. Advanced Type Systems -- pt. IV. Reasoning about Processes using Types. 9. Groundwork. 10. Behavioural Effects of i/o types. 11. Techniques for Advanced Type Systems -- pt. V. The Higher-Order Paradigm. 12. Higher-Order [pi]-calculus. 13. Comparing First-Order and Higher-Order Calculi -- pt. VI. Functions as Processes. 14. The [lambda]-calculus. 15. Interpreting [lambda]-calculi. 16. Interpreting Typed [lambda]-calculi. 17. Full Abstraction.".
- catalog extent "xii, 580 p. :".
- catalog identifier "0521781779".
- catalog issued "2001".
- catalog issued "c2001.".
- catalog language "eng".
- catalog publisher "Cambridge ; New York : Cambridge University Press,".
- catalog subject "004.6 21".
- catalog subject "Mobile communication systems.".
- catalog subject "Mobile computing.".
- catalog subject "Pi-calculus.".
- catalog subject "QA76.59 .S36 2001".
- catalog tableOfContents "pt. I. The [pi]-calculus. 1. Processes. 2. Behavioural Equivalence -- pt. II. Variations of the [pi]-calculus. 3. Polyadicity and Recursion. 4. Behavioural Equivalence, continued. 5. Subcalculi -- pt. III. Typed [pi]-calculi. 6. Foundations. 7. Subtyping. 8. Advanced Type Systems -- pt. IV. Reasoning about Processes using Types. 9. Groundwork. 10. Behavioural Effects of i/o types. 11. Techniques for Advanced Type Systems -- pt. V. The Higher-Order Paradigm. 12. Higher-Order [pi]-calculus. 13. Comparing First-Order and Higher-Order Calculi -- pt. VI. Functions as Processes. 14. The [lambda]-calculus. 15. Interpreting [lambda]-calculi. 16. Interpreting Typed [lambda]-calculi. 17. Full Abstraction.".
- catalog title "The [pi]-calculus : a theory of mobile processes / Davide Sangiorgi, David Walker.".
- catalog type "text".