Type theory in type theory using quotient inductive types.

Thorsten Altenkirch Ambrus Kaposi

Published in: POPL (2016)

Keyphrases

general theory
theoretical framework
data sets
databases
real world
information retrieval
artificial intelligence
domain knowledge
probability distribution
computational model
theoretical foundation
information theory