![]() |
![]() |
Round abstraction, compositionallyAdd to your list(s) Download to your calendar using vCal
If you have a question about this talk, please contact Dan Ghica. (Work in progress) We revisit a form of temporal scaling called “round abstraction” as a solution to the problem of building synchronous representations of asynchronous behaviour. We will show how round abstraction can be formalised in a setting akin to the category of games in game semantics (albeit with less restrictions). In particular, we establish a soundness result under certain conditions. This talk is part of the Lab Lunch series. This talk is included in these lists:Note that ex-directory lists are not shown. |
Other listsType the title of a new list here Cold atoms Biosciences seminarsOther talksThe Heat content of polygonal domains TBA TBA Parameter estimation for macroscopic pedestrian dynamics models using trajectory data TBA TBA |