nLab Type Theory and Functional Programming

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

This page compiles pointers related to the textbook:

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.

EditDiscussPrevious revisionChanges from previous revisionHistory (1 revision) Cite Print Source