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
|