Univalence as a principle of logic
Work
Year: 2018
Type: article
Source: Indagationes Mathematicae
Author Steve Awodey
Institution Carnegie Mellon University
Cites: 13
Cited by: 6
Related to: 10
FWCI: 0.985
Citation percentile (by year/subfield): 64.8
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: closed