Scholar
Dylan McDermott
Google Scholar ID: 2wJiw6sAAAAJ
University of Oxford
relative monads
formal category theory
algebraic theories
programming language semantics
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
201
H-index
7
i10-index
7
Publications
20
Co-authors
14
list available
Publications
1 items
Denotational reasoning for asynchronous multiparty session types
2026
Cited
0
Co-authors
8 total
Tarmo Uustalu
Professor, Reykjavik University / Lead research scientist, Tallinn University of Technology
Ohad Kammar
University of Edinburgh School of Informatics
Jonathan Balkind
Assistant Professor, UC Santa Barbara
Dimitrios Vytiniotis
DeepMind
Kapil Vaswani
Microsoft Research
Manuel Costa
Microsoft Research
Nicolas Wu
Professor of Computer Science, Imperial College London
Maciej Piróg
University of Wrocław
