This page shows all presentations of this author published in EasyChair Smart Slide.
Sheaf Semantics of Termination-Insensitive Noninterference
Jonathan Sterling and Robert Harper
Guarded Computational Type Theory