A Non-Type-Theoretic Semantics for Type-Theoretic Language (1987)

by S Allen