BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//talks.cam.ac.uk//v3//EN
BEGIN:VTIMEZONE
TZID:Europe/London
BEGIN:DAYLIGHT
TZOFFSETFROM:+0000
TZOFFSETTO:+0100
TZNAME:BST
DTSTART:19700329T010000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0100
TZOFFSETTO:+0000
TZNAME:GMT
DTSTART:19701025T020000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CATEGORIES:Logic and Semantics Seminar (Computer Laboratory)
SUMMARY:The Functional Machine Calculus - Chris Barrett\,
University of Birmingham
DTSTART;TZID=Europe/London:20230224T140000
DTEND;TZID=Europe/London:20230224T150000
UID:TALK196921AThttp://talks.cam.ac.uk
URL:http://talks.cam.ac.uk/talk/index/196921
DESCRIPTION:The Functional Machine Calculus (FMC) was recently
introduced by Heijltjes [1] as a generalization o
f the lambda-calculus to include higher-order glob
al state\, probabilistic and non-deterministic cho
ice\, and input and output\, while retaining confl
uence. The calculus can encode both the call-by-na
me and call-by-value semantics of these effects. T
his is enabled by two independent generalizations.
The first decomposes the syntax of the lambda-cal
culus in a way that allows for the encoding of red
uction strategies. The second parameterizes applic
ation and abstraction in terms of `locationsâ€™\, wh
ich gives a unification of the operational semanti
cs\, syntax\, and reduction of the given effects w
ith those of the lambda-calculus. The FMC further
comes equipped with a simple type system which res
tricts and captures the behaviour of effects\, and
guarantees strong normalisation.\n\nThis talk wil
l introduce the FMC and give a summary of its cate
gorical semantics [2]. In particular\, an equation
al theory is introduced\, and shown to be validate
d by a notion of observational equivalence. The ca
tegory of closed FMC-terms modulo this theory\, wi
th composition given by sequencing\, then forms th
e free Cartesian closed category. \n\n[1] Willem H
eijltjes. The Functional Machine Calculus. June 20
22. 38th International Conference on Mathematical
Foundations of Programming Semantics\, MFPS 2022\n
\n[2] Chris Barrett\, Willem Heijltjes\, Guy McCus
ker. The Functional Machine Calculus II: Semantics
. To appear in CSL 2023
LOCATION:SS03\, Computer Laboratory
CONTACT:Jamie Vicary
END:VEVENT
END:VCALENDAR