Login / Signup
$\text{TT}^{\Box}_{\mathcal C}$: a Family of Extensional Type Theories with Effectful Realizers of Continuity.
Liron Cohen
Vincent Rahli
Published in:
Log. Methods Comput. Sci. (2024)
Keyphrases
</>
information retrieval
special case
free text
textual data
data sets
machine learning
textual information
website
text mining
multiple types
text retrieval
natural language generation
database
domain theory
computational models
rough sets
information extraction