Logics and Type Systems (1993)

by Jan Herman Geuvers