Basic simple type theory /
| Κύριος συγγραφέας: | |
|---|---|
| Μορφή: | Βιβλίο |
| Γλώσσα: | English |
| Έκδοση: |
Cambridge, U.K. ; New York, NY, USA :
Cambridge University Press ,
1997 .
|
| Σειρά: | Cambridge tracts in theoretical computer science ;
42 Cambridge tracts in theoretical computer science ; 42 |
| Θέματα: |