Type theory
| dc.date.accessioned | 2026-04-01T02:25:34Z | |
| dc.identifier.neptun | INFPHD032EN-N | |
| dc.identifier.uri | https://eltetanrep.dspace.testing.qulto.eu/handle/123456789/72013 | |
| dc.title | Type theory | |
| dspace.entity.type | Course |
| dc.date.accessioned | 2026-04-01T02:25:34Z | |
| dc.identifier.neptun | INFPHD032EN-N | |
| dc.identifier.uri | https://eltetanrep.dspace.testing.qulto.eu/handle/123456789/72013 | |
| dc.title | Type theory | |
| dspace.entity.type | Course |