Browsing by author "Nuyts, Andreas"
Now showing items 1-3 of 3
-
Degrees of relatedness: A unified framework for parametricity, irrelevance, Ad Hoc polymorphism, intersections, unions and algebra in dependent type theory
Nuyts, Andreas; Devriese, Dominique (2018) -
How to do proofs? Practically proving properties about effectful programs' results (functional pearl)
Jacobs, Koen; Nuyts, Andreas; Devriese, Dminique (2019) -
Multimodal Dependent Type Theory
Gratzer, Daniel; Kavvos, G. A.; Nuyts, Andreas; Birkedal, Lars (2020)