Front cover image for Type theory and functional programming

Type theory and functional programming


Print Book, English, ©1991
Addison-Wesley, Wokingham, England, ©1991