External Source

Higher Inductive Types In Cubical Computational Type Theory

2019 20:49
Synopsis
Paper and supplementary material: ...

You Might Also Like

Cubical Agda: A Dependently Typed Programming Language with Univalence and Higher Inductive Types 23:58
Cubical Agda: A Dependently Typed Programming Language With...
2019
Kuen-Bang Hou (Favonia), Towards efficient cubical type theory 56:10
Kuen-bang Hou (favonia), Towards Efficient Cubical Type Theo...
2018
Anders Mörtberg, Unifying cubical models of homotopy type theory 59:26
Anders Mörtberg, Unifying Cubical Models Of Homotopy Type T...
2019
Keynote: Higher Inductive Types in Homotopy Type Theory – Kristina Sojakova 39:39
Keynote: Higher Inductive Types In Homotopy Type Theory – ...
2019
22 Higher Inductive Types 1:17:39
22 Higher Inductive Types
2020
Kuen Bang Hou (Favonia): Cartesian cubical computational type theory 57:25
Kuen Bang Hou (favonia): Cartesian Cubical Computational Typ...
2018
Higher Inductive Types - Peter Lumsdaine 15:00
Higher Inductive Types - Peter Lumsdaine
2016
More on Higher Inductive Types 7:26
More On Higher Inductive Types
2020
Agda Lecture 8: Quotients and Higher Inductive Types in Cubical Agda -- HoTTEST Summer School 2022 1:33:27
Agda Lecture 8: Quotients And Higher Inductive Types In Cubi...
2022
Carlo Angiuli, Computational semantics of Cartesian cubical type theory 1:28:41
Carlo Angiuli, Computational Semantics Of Cartesian Cubical ...
2018
Introduction to Cubical Type Theory (Part I) 29:03
Introduction To Cubical Type Theory (part I)
2020
Download Options
Choose a download method below. All links open in new tabs.
Service Features Action
SaveFrom
MP4 & MP3 • HD Quality • Browser Extension Available
Download
Security Notice: These are third-party services. We recommend using antivirus software and being cautious of pop-up ads.