Type-Theoretic Signatures for Algebraic Theories and Inductive Types
Tézis összefoglaló A tézis fő célja az, hogy kidolgozza bizonyos típuselméletek használatát algebrai elméletek és induktív típusok leírásához. Meglátásunk szerint a függő típuselméletek kifejezőereje nagyban elősegíti a tömör és általános specifikációkat. A tézisben három típuselméletet írunk le, am...
Mentés helye:
| Szerző: | |
|---|---|
| Közreműködő(k): | |
| Formátum: | disszertáció |
| Nyelv: | angol angol magyar |
| Tárgyszavak: | |
| Online elérés: | http://hdl.handle.net/10831/86212 |
| Címkék: |
Új címke
A tételhez itt fűzhet saját címkét!
|