Lambda calculus with types

Författare
H. P Barendregt
Genre
Electronic books
Språk
Okänt
Förlag År Ort Om boken ISBN
2013 Utgivningsland okänt / Ej specificerat