Sign in

Undecidability of Equality in the Free Locally Cartesian Closed Category.

Simon CastellanPierre ClairambaultPeter 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