Type Theory and Functional Programming

Type Theory and Functional Programming

1991