Benthem Jutting. Typing in Pure Type Sytems (1993)

by L S van
Venue:Information and Computation