Type Theory and Functional Programming > Editions
by Simon Thompson First published August 1st 1991
Published January 1st 1991
by Addison-Wesley
Hardcover, 388 pages
Published September 21st 2021
Kindle Edition, 484 pages


