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 listsNeuroscience Seminars MRC LMB Seminar list## Other talksConnecting behavioural and neural levels of analysis Equations in groups Land of Eagles - Albania: from closed nation to wildlife paradise - where next? Embedding Musical Codes into an Interactive Piano Composition Behavioural phenotypes of children born preterm: what we know and future research avenues Mechanical performance of wall structures in 3D printing processes: theory, design tools and experiments |