Strogo tipiziran jezik za opis deduktivnih sustava
Sažetak na hrvatskom: Predstavljen je L•, jezik za opis deduktivnih sustava. Korištenjem ovisnih tipova, točnije indeksiranih familija, L• može modelirati elemente domene diskursa, propozicije nad njima, dokaze te shematske aksiome i pravila zaključivanja, u skladu s načelom "propozicije kao ti...
| Permalink: | http://skupni.nsk.hr/Record/fer.KOHA-OAI-FER:49694 |
|---|---|
| Glavni autor: | Perleta, Frano (-) |
| Ostali autori: | Srbljić, Siniša (Thesis advisor) |
| Vrsta građe: | Drugo |
| Impresum: |
Zagreb,
F. Perleta,
2015.
|
| Predmet: |