All Products

Showing 1 to 1 of 1 Products

Lectures on the Curry-Howard Isomorphism

Product Type: Book

Edition: 1

Volume: 149

First Published: 2006

eBook: 978-0-08-047892-0

Hardcover: 978-0-444-52077-7