Undecidability of Equality in the Free Locally Cartesian Closed Category.

Simon Castellan Pierre Clairambault Peter Dybjer

Published in: TLCA (2015)

Keyphrases

description logics
real time
case study
data sets
data mining
relational databases
object categories
equivalence relation
polar coordinates
probabilistic planning
broad categories