EasyChair Smart SlideDocs/Log in
Author: Andreas Nuyts

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

A Lock Calculus for Multimode Type Theory

A Lock Calculus for Multimode Type Theory

Andreas Nuyts

Lax-Idempotent 2-Monads, Degrees of Relatedness, and Multilevel Type Theory

Lax-Idempotent 2-Monads, Degrees of Relatedness, and Multilevel Type Theory

Andreas Nuyts

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: 5
Copyright © 2002 – 2024 EasyChair