Joris Ceulemans -

Registered user since Thu 25 Jul 2019

Name: Joris Ceulemans

Country: Belgium

Affiliation: Vrije Universiteit Brussel

Contributions

TyDe 2020	Author of Shallowly Embedding Type Theories as Presheaf Models in Agda (Extended Abstract) within the TyDe 2020-track
TyDe 2019	Author of Reasoning about Effect Parametricity Using Dependent Types within the TyDe 2019-track