BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:An introduction to pi-calculus - Dominic Orchard (University of Ca
 mbridge)
DTSTART:20160520T100000Z
DTEND:20160520T110000Z
UID:TALK66331@talks.cam.ac.uk
CONTACT:Philip Saville
DESCRIPTION:In this seminar\, I'll introduce the standard core pi-calculus
 \, its syntax and semantics\n(both in reduction and labelled transition sy
 stem) form\, along with a brief exploration of\ndifferent notions of behav
 ioural equivalence for processes. I'll then explain the relationship\nbetw
 een the lambda calculus and pi calculus\, showing the encoding of lambda t
 erms into\nprocesses. Finally\, I'll explain the idea behind the session-t
 yped variants of the pi-calculus\,\nreplaying the encoding of lambda->pi b
 ut now from simply-typed lambda terms to session-typed\npi-terms.
LOCATION:Rainbow Room (FS07)\, Computer Laboratory
END:VEVENT
END:VCALENDAR