Affordable Access

Constructing the Propositional Truncation using Non-recursive HITs

Authors
Type
Preprint
Publication Date
Submission Date
Identifiers
arXiv ID: 1512.02274
Source
arXiv
External links

Abstract

Statistics

Seen <100 times