Doing algebra in simple type theory (1989)

by L Gunter