EasyChair Smart SlideUser guide
Conference: Domains13 (Workshop Domains XIII)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Invited Talk: Scott Domains for Denotational Semantics and Program Extraction

Invited Talk: Scott Domains for Denotational Semantics and Program Extraction

Ulrich Berger

Abstractness of Continuation Semantics for Asynchronous Concurrency

Abstractness of Continuation Semantics for Asynchronous Concurrency

Gabriel Ciobanu and Eneia Nicolae Todoran

Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming

Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming

Ohad Kammar

A Domain-theoretic Skorohod’s Theorem

A Domain-theoretic Skorohod’s Theorem

Michael Mislove

Higher-dimensional categories: induction on extensivity

Higher-dimensional categories: induction on extensivity

Thomas Cottrell, Soichiro Fujii and John Power

Presentations in this collection: 5
Copyright © 2002 – 2026 EasyChair