dependent type theory - Robuta Search

https://easychair.org/publications/keyword/pxvk

https://www.arxiv.org/abs/1601.01586

[1601.01586] Guarded Dependent Type Theory with Coinductive Types

Abstract page for arXiv paper 1601.01586: Guarded Dependent Type Theory with Coinductive Types

dependent type theory guarded coinductive types

https://www.kth.se/math/kalender/iosif-petrakis-from-dependent-type-theory-to-dependent-category-theory-1.1292520?date=2023-11-01&orgdate=2023-03-19&length=1&orglength=0

Iosif Petrakis: From dependent type theory to dependent category theory | KTH

dependent type theory iosif petrakis category