Canonicity and normalization for dependent type theory.

Thierry Coquand

Published in: Theor. Comput. Sci. (2019)

Keyphrases

theoretical basis
theoretical framework
real world
evolutionary algorithm
computational model
information theory
general theory
database
decision making
natural language
preprocessing