| 000 | 00749nam a2200241Ia 4500 | ||
|---|---|---|---|
| 008 | 191130s2000##################000#0#eng## | ||
| 020 | _a521771730 | ||
| 022 | _a99044953 | ||
| 040 |
_aACL _cACL |
||
| 082 | _a51 3 SIM | ||
| 100 | _aSimmons, Harold | ||
| 245 |
_aDerivation and computation : taking the Curry-Howard correspondence seriously _cHarold Simmons |
||
| 260 |
_aCambridge _bCambridge University Press _c2000 |
||
| 300 | _axxv, 384 p. ; 24 cm | ||
| 500 | _aIncludes bibliographical references (p. 375-376) and index | ||
| 650 | _aCurry-Howard isomorphism | ||
| 650 | _aLambda calculus | ||
| 650 | _aProof theory | ||
| 650 | _aType theory | ||
| 990 | _adb7bdaf6ac10000c03545c4dd89c430e | ||
| 991 | _a119649 | ||
| 999 |
_c147227 _d147227 |
||