EasyChair Smart SlideHelp/Log in
Author: Andreas Nuyts

This page shows all presentations of this author published in EasyChair Smart Slide.

Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory

Degrees of Relatedness - A Unified Framework for Parametricity, Irrelevance, Ad Hoc Polymorphism, Intersections, Unions and Algebra in Dependent Type Theory

Andreas Nuyts and Dominique Devriese

Robust Notions of Contextual Fibrancy

Robust Notions of Contextual Fibrancy

Andreas Nuyts

Internalizing Presheaf Semantics: Charting the Design Space

Internalizing Presheaf Semantics: Charting the Design Space

Andreas Nuyts and Dominique Devriese

Presentations in this collection: 3
Copyright © 2002 – 2023 EasyChair