Canonicity and normalisation for Dependent Type Theory.

Thierry Coquand

Published in: CoRR (2018)

Keyphrases

theoretical framework
theoretical basis
database
user interface
general theory
neural network
image processing
multimedia
cooperative
expert systems
relational databases
control system
grounded theory
formal theory