Login / Signup
Undecidability of Equality in the Free Locally Cartesian Closed Category (Extended version).
Simon Castellan
Pierre Clairambault
Peter Dybjer
Published in:
Log. Methods Comput. Sci. (2017)
Keyphrases
</>
description logics
data sets
computer vision
learning algorithm
website
object categories