Books in Type theory

1 book

Type Theory & Functional Programming

by Simon Thompson

Category theory Type theory Functional programming

Read

We can't find the internet

Attempting to reconnect

Something went wrong!

Attempting to reconnect