Type checking in the presence of meta-variables

Norell, Ulf, Coquand, Catarina. Type checking in the presence of meta-variables. , 2007.

Abstract

Abstract is missing.