Well-Ordering, Proofs for Martin-Löf Type Theory.

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

Keyphrases

real time
theoretical framework
theoretical basis
social networks
theoretical foundation
databases
real world
computer vision
information systems
conceptual framework
theorem prover
general theory
equational theories