Login / Signup
Nilpotent types and fracture squares in homotopy type theory.
Luis Scoccola
Published in:
Math. Struct. Comput. Sci. (2020)
Keyphrases
</>
multiple types
theoretical basis
theoretical framework
case study
mobile robot
x ray
information theory
computational model
general theory
x ray images
conceptual framework
hough transform
social networks
learning environment
multi agent
multiscale
website
information systems