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

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