Lectures on the Curry-Howard Isomorphism

Författare
Morten Heine Sørensen
Språk
Engelska
Förlag År Ort Om boken ISBN
Elsevier 2006 Utgivningsland okänt / Ej specificerat, Burlington