You are here

Homotopy Type Theory, Univalent Foundation, and Binary Trees

Title: Homotopy Type Theory, Univalent Foundation, and Binary Trees.
32 views
7 downloads
Name(s): Beauvile, Robed, author
Type of Resource: text
Genre: Text
Bachelor Thesis
Date Issued: 2017-04-27
Physical Form: computer
online resource
Extent: 1 online resource
Language(s): English
Identifier: FSU_libsubv1_scholarship_submission_1493325849 (IID)
Persistent Link to This Record: http://purl.flvc.org/fsu/fd/FSU_libsubv1_scholarship_submission_1493325849
Owner Institution: FSU

Choose the citation style.
Beauvile, R. (2017). Homotopy Type Theory, Univalent Foundation, and Binary Trees. Retrieved from http://purl.flvc.org/fsu/fd/FSU_libsubv1_scholarship_submission_1493325849