Extensional and Intensional Semantic Universes: A Denotational Model of Dependent Types.

Valentin Blot Jim Laird

Published in: LICS (2018)

Keyphrases

probabilistic model
experimental data
computational model
high level
information retrieval
database
cost function
formal model
higher order
mathematical model
theoretical analysis
theoretical framework
process model
context dependent
em algorithm
object oriented
management system
similarity measure