Login / Signup
Remarks on the Tripos To Topos Construction: Comprehension, Extensionality, Quotients and Functional-Completeness.
Fabio Pasquali
Published in:
Appl. Categorical Struct. (2016)
Keyphrases
</>
learning algorithm
database systems
wide range
automatic construction
functional analysis
search engine
computer vision
knowledge base
image processing
cooperative