Doit-yourself type theory (1989)

by R Backhouse, P Chisholm, G Malcom, E Saaman
Venue:Formal Aspect of Computing