Activities per year
Activities
- 7 results
Search results
-
On the Metatheory of Subtype Universes (TYPES23)
Felix Bradley (Speaker)
12 Jun 2023 → 15 Jun 2023Activity: Talk or presentation › Oral presentation
File -
On the Metatheory of Subtype Universes (WG6)
Felix Bradley (Speaker)
24 Apr 2023Activity: Talk or presentation › Oral presentation
File -
Some Aspects of Directed Graphs: Paths and Cycles in Digraphs (Problem Session)
Yacong Zhou (Speaker)
6 Oct 2022Activity: Talk or presentation › Oral presentation
File -
Results on the small quasi-kernel conjecture
Yacong Zhou (Speaker)
13 Jul 2022Activity: Talk or presentation › Oral presentation
File -
Introducing a Structured Approach to Online Discussion
Emma Lieu (Speaker)
27 Jun 2022Activity: Talk or presentation › Oral presentation
-
Funcons for HGMP
L. Thomas van Binsbergen (Speaker)
6 Nov 2018Activity: Talk or presentation › Oral presentation
File -
GLL Parsing with Flexible Combinators
L. Thomas van Binsbergen (Speaker)
5 Nov 2018Activity: Talk or presentation › Oral presentation
File