PDF Document

Source URL: www.cs.ut.ee

• Category theory
• Functional programming
• Theoretical computer science
• Recursion
• Type theory
• Initial algebra
• Apomorphism
• Catamorphism
• Haskell
• Software engineering
• Computer programming
• Declarative programming