Projects per year
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Projects
- 1 Active
Research output
- 2 Unpublished abstract
-
Shallowly Embedding Type Theories as Presheaf Models in Agda: Extended Abstract
Ceulemans, J. & Devriese, D., 23 Aug 2020. 3 p.Research output: Unpublished contribution to conference › Unpublished abstract
Open AccessFile11 Downloads (Pure) -
Extended Abstract: Reasoning about Effect Parametricity Using Dependent Types
Ceulemans, J., Nuyts, A. & Devriese, D., 18 Aug 2019. 3 p.Research output: Unpublished contribution to conference › Unpublished abstract
Activities
- 1 Talk or presentation at a workshop/seminar
-
Reasoning about Effect Parametricity Using Dependent Types
Joris Ceulemans (Speaker)18 Aug 2019Activity: Talk or presentation › Talk or presentation at a workshop/seminar