The Implicit Calculus of Constructions (2001)

by A Miquel
Venue:In Typed Lambda Calculi and Applications