A Note on Forcing and Type Theory.

Thierry Coquand Guilhem Jaber

Published in: Fundam. Informaticae (2010)

Keyphrases

theoretical framework
computer vision
computational model
theoretical basis
general theory
databases
multiscale
multi agent
expert systems
relational databases
special case
multiple types