HN books

3 books

The Little Typer

Daniel P. Friedman and David Thrane Christiansen
2 readers · Computing, Mathematics

Proofs and Types

Jean-Yves Girard, Yves Lafont, and Paul Taylor
1 reader · Computing, Mathematics