On the strength of dependent products in the type theory of Martin-Löf.

Published in: Ann. Pure Appl. Log. (2009)

Keyphrases

theoretical framework
real time
computational model
information theory
databases
information systems
theoretical foundation
multiple types
black and white
general theory