Do-it-yourself type theory (part (1988)

by Roland Backhouse, Paul Chisholm, Grant Malcolm
Venue:BULLETIN ofthe European Association for Theoretical Computer Science