Partial Univalence in n-truncated Type Theory.
Christian SattlerAndrea VezzosiPublished in: CoRR (2020)
Keyphrases
- theoretical basis
- formal theory
- information retrieval
- preprocessing
- theoretical framework
- database
- social networks
- database systems
- similarity measure
- objective function
- artificial intelligence
- relational databases
- programming language
- computational model
- genetic algorithm
- real world
- decision theory
- multiple types
- speech acts
- real time