Categories, Equational Logic and Typed Lambda Calculi. Hand-Written Notes for a Graduate Lecture (1990)

by R L Crole