Login / Signup
On Equality of Objects in Categories in Constructive Type Theory.
Erik Palmgren
Published in:
TYPES (2017)
Keyphrases
</>
multiple types
multiple objects
theoretical basis
hierarchical structures
learning algorithm
clustering algorithm
d objects
data objects
spatial relationships