COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic & Semantics for Dummies > An introduction to pi-calculus

## An introduction to pi-calculusAdd to your list(s) Download to your calendar using vCal - Dominic Orchard (University of Cambridge)
- Friday 20 May 2016, 11:00-12:00
- Rainbow Room (FS07), Computer Laboratory.
If you have a question about this talk, please contact Philip Saville. In this seminar, I’ll introduce the standard core pi-calculus, its syntax and semantics (both in reduction and labelled transition system) form, along with a brief exploration of different notions of behavioural equivalence for processes. I’ll then explain the relationship between the lambda calculus and pi calculus, showing the encoding of lambda terms into processes. Finally, I’ll explain the idea behind the session-typed variants of the pi-calculus, replaying the encoding of lambda->pi but now from simply-typed lambda terms to session-typed pi-terms. This talk is part of the Logic & Semantics for Dummies series. ## This talk is included in these lists:Note that ex-directory lists are not shown. |
## Other listsCentre of South Asian Studies occasional events Behavioural and Clincial Neuroscience Seminars Cambridge Clinical Research Centre for Affective Disorders (C2:AD)## Other talksFrontiers in paediatric cancer research Geometry and learning in 3D correspondence problems Dynamics of Phenotypic and Genomic Evolution in a Long-Term Experiment with E. coli How to (Re)Use Big Data w/Prof Sabina Leonelli Beyond crazy: Rationality, irrationality, and conspiracy theory Giving the Sign: Katherine Mansfield |