Login / Signup

Pure Type Systems with Subtyping.

Jan Zwanenburg
Published in: TLCA (1999)
Keyphrases