Propositional functions and families of types. Notre Dame (1989)

by J Smith
Venue:Journal of Formal Logic