Unifying Cubical Models of Univalent Type Theory
Work
Year: 2020
Type: article
Source: Computer Science Logic
Institutions Carnegie Mellon University, Stockholm University
Cites:
Cited by: 12
Related to: 20
FWCI: 3.729
Citation percentile (by year/subfield): 96.43
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Sustainable Development Goal Sustainable cities and communities
Open Access status: closed