Induktivni in koinduktivni podatkovni tipi : delo diplomskega seminarja

Slak, Jure (avtor), Bauer, Andrej (mentor)

• Jezik: Slovenski jezik
• Ključne besede: matematika, začetna F-algebra, končna F-koalgebra, induktivni podatkovni tipi, koinduktivni podatkovni tipi, indukcija, koindukcija, rekurzija, korekurzija
• Vrsta gradiva: Delo diplomskega seminarja/zaključno seminarsko delo/naloga
• Tipologija: 2.11 - Diplomsko delo
• Organizacija: FMF - Fakulteta za matematiko in fiziko
• Kraj izida: Ljubljana
• Založnik: [J. Slak]
• Leto izida: 2015
• Št. strani: 33 str.
• PID: 20.500.12556/RUL-97208
• UDK: 004
• COBISS.SI-ID: 17692505
• Datum objave v RUL: 23.10.2017

Sekundarni jezik

• Jezik: Angleški jezik
• Naslov: Inductive and Coinductive Data Types
• Ključne besede: mathematics, initial F-algebra, final F-coalgebra, inductive data type, coinductive data type, induction, coinduction, recursion, corecursion