Similar Books like Lectures on the Curry-Howard Isomorphism

by
Morten Heine B. Sørensen

4 books

Lectures on the Curry-Howard Isomorphism
Morten Heine B. Sørensen

The Little Typer (The MIT Press)
Daniel P. Friedman

Similar Novels

Programming in Haskell
Graham Hutton

Similar Novels 74%

Thinking Functionally with Haskell
Richard S. Bird

Similar Novels

Related Categories

Computer Science