Derivation and computation : taking the Curry-Howard correspondence seriously /
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cambridge :
University Press,
c2000
|
| Σειρά: | Cambridge Tracts in Theoretical Computer Science ;
51 |
| Θέματα: |