Sign in
The real projective spaces in homotopy type theory.
Ulrik Buchholtz
Egbert Rijke
Published in:
LICS (2017)
Keyphrases
</>
quotient space
theoretical basis
real life
computational model
theoretical framework
real world
learning environment
real time
databases
decision making
database systems
general theory
formal theory