Login / Signup

A Generic Strong Normalization Argument: Application to the Calculus of Constructions.

C.-H. Luke OngEike Ritter
Published in: CSL (1993)
Keyphrases
  • application specific
  • real world
  • preprocessing
  • relational databases
  • graphical representation