Talk Author Index

TALK AUTHOR INDEX

Shortcuts: A B C E F J K L M P S T V W

A
Abramsky, Samson	Invited Talk: Approximating partial by total: fixpoint characterizations of back-and-forth equivalences
B
Berger, Ulrich	Invited Talk: Scott Domains for Denotational Semantics and Program Extraction
Brookes, Stephen	Invited Talk: A Brief History of Denotational Semantics
C
Ciobanu, Gabriel	Abstractness of Continuation Semantics for Asynchronous Concurrency
Cottrell, Thomas	Higher-dimensional categories: recursion on extensivity
E
Edalat, Abbas	A logical view of complex analytic maps
F
Fourman, Michael	A Brouwerian proof of the Fan Theorem
Fujii, Soichiro	Higher-dimensional categories: recursion on extensivity
J
Jay, Barry	Domain Theory for Intensional Computation
Jung, Achim	Extending Stone Duality to Relations
K
Kammar, Ohad	Diffeological Spaces and Semantics for Differential Programming Invited Talk: A domain theory for quasi-Borel spaces and statistical probabilistic programming Algebra semantics of recursive computation types
Kawai, Tatsuji	Applications of entailments: de Groot duality
Kurz, Alexander	Extending Stone Duality to Relations
L
Lawson, Jimmie	Invited Talk: Topology and Domain Theory Interfaces
Levy, Paul Blain	Algebra semantics of recursive computation types
Longley, John	Robust computability notions for types arising in classical analysis
M
Maleki, Mehrdad	A logical view of complex analytic maps
Mislove, Michael	A Domain-theoretic Skorohod’s Theorem
Moshier, M. Andrew	Frames and frame relations Extending Stone Duality to Relations
Mozo Carollo, Imanol	Frames and frame relations
P
Pauly, Arno	T^\omega-representations of compact sets through dyadic subbases
Plotkin, Gordon	First-order differential programming
Power, John	Higher-dimensional categories: recursion on extensivity
S
Scott, Dana	Invited Talk: Looking Backward; Looking Forward
Staton, Sam	Diffeological Spaces and Semantics for Differential Programming
T
Todoran, Eneia Nicolae	Abstractness of Continuation Semantics for Asynchronous Concurrency
Tsuiki, Hideki	T^\omega-representations of compact sets through dyadic subbases
V
Vákár, Matthijs	Diffeological Spaces and Semantics for Differential Programming
W
Winskel, Glynn	Games and domains