Higher-Order Linearisability

340 views · Published 9 December 2016 · 37:08 · Indexed 10 November 2026

Channel: Simons Institute for the Theory of Computing · 2016 · Education

Watch on YouTube

Nikos Tzevelekos, Queen Mary University of London
https://simons.berkeley.edu/talks/nikos-tzevelekos-12-08-2016
Compositionality

More from this channel