1 - 2 / 2 1 |
1. Induktivni in koinduktivni podatkovni tipi Jure Slak, 2015, diplomsko delo Ključne besede: matematika, začetna F-algebra, končna F-koalgebra, induktivni podatkovni tipi, koinduktivni podatkovni tipi, indukcija, koindukcija, rekurzija, korekurzija |
2. Podatkovni tipi kot začetne algebre in končne koalgebre Boštjan Gec, 2018, diplomsko delo Ključne besede: Haskell, rekurzivni podatkovni tip, teorija kategorij, začetna algebra |