Login / Signup
A Generic Strong Normalization Argument: Application to the Calculus of Constructions.
C.-H. Luke Ong
Eike Ritter
Published in:
CSL (1993)
Keyphrases
</>
application specific
real world
preprocessing
relational databases
graphical representation