Contact DMCA Privacy

Robuta

https://arxiv.org/abs/2407.05715v4
[2407.05715v4] The Size-Change Principle for Mixed Inductive and Coinductive types
Abstract page for arXiv paper 2407.05715v4: The Size-Change Principle for Mixed Inductive and Coinductive types
size changeprinciplemixedinductive
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 theoryguardedcoinductivetypes