Cover of Type theory and functional programming

Book 1991

Type theory and functional programming

2 readers

Publisher
Addison-Wesley
Language
English
Published
1991
  • Type theory.