Login / Signup

Condensing Lemmas for Pure Type Systems with Universes.

Blas C. Ruiz Jiménez
Published in: AMAST (1998)
Keyphrases