EasyChair Smart SlideDocs/Log in
Conference: HoTT/UF18 (Workshop on Homotopy Type Theory and Univalent Foundations 2018)

This page shows all presentations from this conference published in EasyChair Smart Slide.

Dependent Right Adjoint Types

Dependent Right Adjoint Types

Lars Birkedal, Ranald Clouston, Bassel Mannaa, Rasmus Ejlers Møgelberg, Andrew Pitts and Bas Spitters

Algebraic models of dependent type theory

Algebraic models of dependent type theory

Clive Newstead

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

Univalent Foundations and the Constructive View of Theories

Univalent Foundations and the Constructive View of Theories

Andrei Rodin

Presentations in this collection: 5
Copyright © 2002 – 2025 EasyChair