Cover Image

Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Gylterud, Håkon Robbestad, Stenholm, Elisabeth, Veltri, Niccolò
Format: Preprint
Published: 2020
Subjects:
Logic
Logic in Computer Science
03B38 (Primary), 03B70 (Secondary), 03F65
F.4.1
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
Be the first to leave a comment!
You must be logged in first

Similar Items