Extensional concepts in intensional type theory, revisited.

Chris Kapulkin Yufeng Li

Published in: CoRR (2023)

Keyphrases

theoretical framework
higher order
core concepts
general theory
databases
multiscale
database
search engine
information systems
natural language processing
co occurrence
neural network
domain ontology
query evaluation
computational models
set theory
mathematical theory
data sets