Login / Signup

Strong normalisation in two Pure Pattern Type Systems.

Benjamin WackClément Houtmann
Published in: Math. Struct. Comput. Sci. (2008)
Keyphrases