Derivation and computation : taking the Curry-Howard correspondence seriously
Harold Simmons
Bok Engelsk 2000 Harold. Simmons
| Utgitt | Cambridge : Cambridge University Press , 2000
|
|---|---|
| Omfang | XXV, 384 s. : fig.
|
| Emner | Lambda calculus
Proof theory Type theory bevisteori lambdakalkyle typeteori beregningsteori symbolsk logikk |
| Dewey | |
| ISBN | 0521771730. - 9780521771733
|
