Undecidability of Equality in the Free Locally Cartesian Closed Category.

Simon Castellan Pierre Clairambault Peter Dybjer

Published in: CoRR (2015)

Keyphrases

description logics
globally consistent
object categories
database
machine learning
object recognition
expert systems
data model
domain independent
hierarchical structure
integrity constraints
fixpoint
probabilistic planning