On equivalence and canonical forms in the LF type theory.

Robert Harper Frank Pfenning

Published in: ACM Trans. Comput. Log. (2005)

Keyphrases

theoretical basis
theoretical framework
computational model
conceptual framework
canonical form
real time
knowledge base
multiscale
theoretical foundation