Induktivni in koinduktivni podatkovni tipi : delo diplomskega seminarja

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

• Language: Slovenian
• Keywords: matematika, začetna F-algebra, končna F-koalgebra, induktivni podatkovni tipi, koinduktivni podatkovni tipi, indukcija, koindukcija, rekurzija, korekurzija
• Work type: Final seminar paper
• Typology: 2.11 - Undergraduate Thesis
• Organization: FMF - Faculty of Mathematics and Physics
• Place of publishing: Ljubljana
• Publisher: [J. Slak]
• Year: 2015
• Number of pages: 33 str.
• PID: 20.500.12556/RUL-97208
• UDC: 004
• COBISS.SI-ID: 17692505
• Publication date in RUL: 23.10.2017

Secondary language

• Language: English
• Title: Inductive and Coinductive Data Types
• Keywords: mathematics, initial F-algebra, final F-coalgebra, inductive data type, coinductive data type, induction, coinduction, recursion, corecursion