An intuitionistic theory of types (1998)

by P
Venue:In [Sambin and Smith