Type Theory
| dc.date.accessioned | 2026-09-09T13:50:19Z | |
| dc.date.issued | 2014 | |
| dc.format | ||
| dc.format.extent | 293 p. | |
| dc.identifier.uri | https://eltetanrep.dspace.testing.qulto.eu/handle/123456789/77849 | |
| dc.language | angol | |
| dc.language.rfc3066 | en | |
| dc.subject | mathematics | en |
| dc.subject | informatics | en |
| dc.subject | Curry type system | en |
| dc.subject | Hindley–Milner type inference | en |
| dc.subject | W- | en |
| dc.subject | J- and M-algorithm | en |
| dc.subject | Recursion Milner–Mycroft type | en |
| dc.subject | Type system PTS Curry–Howard correspondence | en |
| dc.title | Type Theory | en |
| dc.type | Tananyag | |
| dspace.entity.type | LearningObject | |
| education.affiliation | ELTE IK, Programozási Nyelvek és Fordítóprogramok Tanszék | |
| project.projectnumber | TÁMOP 4.1.2.A/1-11/1-2011-0052 |
Files
Original bundle
1 - 1 of 1