ncatlab.org

Type Theory and Functional Programming in nLab

Skip the Navigation Links | Home Page | All Pages | Latest Revisions | Discuss this page |

This page compiles pointers related to the textbook:

Simon Thompson:

Type Theory and Functional Programming

Addison-Wesley (1991)

ISBN:0-201-41667-

book webpage

pdf

on basic dependent type theory and functional programming.

category: reference

Last revised on November 5, 2022 at 11:44:34. See the history of this page for a list of all contributions to it.

Edit DiscussPrevious revisionChanges from previous revision History (1 revision) Cite Print Source