Do-it-Yourself type theory (1989)

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