Typing in Pure Type Systems (1993)

by van Benthem Jutting, L S
Venue:Information and Computation