Do-it-yourself type theory (part I (1989)

by R C Backhouse, P Chisholm, G Malcolm, E Saaman
Venue:Formal Aspects of Computing