Joris Ceulemans -

Registered user since Thu 25 Jul 2019

Name:Joris Ceulemans

Country:Belgium

Affiliation:KU Leuven

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