Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Gylterud, Håkon Robbestad, Stenholm, Elisabeth, Veltri, Niccolò
Natura:	Preprint
Pubblicazione:	2020
Soggetti:	Logic Logic in Computer Science 03B38 (Primary), 03B70 (Secondary), 03F65 F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Accesso online

https://arxiv.org/abs/2001.06696