Sign in
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