Course: Lambda calculus and functional programming

« Back
Course title Lambda calculus and functional programming
Course code KMI/LKFP
Organizational form of instruction Lecture + Lesson
Level of course Master
Year of study not specified
Semester Winter
Number of ECTS credits 5
Language of instruction Czech
Status of course Compulsory-optional
Form of instruction Face-to-face
Work placements This is not an internship
Recommended optional programme components None
  • Bartl Eduard, RNDr. Ph.D.
Course content
Pure lambda calculus: lambda-terms, term structure, equivalence theory. Reduction: transformations, general reduction, beta-reduction. Functional programming and Common LISP, Haskell and ML programming languages. Pure lambda calculus: lambda-computability, undecidable properties of lambda calculus. Pure lambda calculus and functional programming: arithmetic, logic functions, recursion, fixed-point combinators. Modification of theory: combinatory logic, extensionality, eta-conversion. Typed lambda calculus: types and terms, normal forms, set models, strong norability, types as formulae. Typed lambda calculus implementation.

Learning activities and teaching methods
Lecture, Demonstration
Learning outcomes
The students become familiar with basic concepts of lambda calculus and functional programming.
1. Knowledge Describe and understand principles of lambda calculus and functional programming.

Assessment methods and criteria
Oral exam, Written exam

Active participation in class. Completion of assigned homeworks. Passing the oral (or written) exam.
Recommended literature
  • Barendregt H. P. (1997). The Lambda Calculus: its Syntax and Semantics. 2nd reprint. Elsevier, Amsterdam.
  • Graham, P. (1995). ANSI Common LISP. Prentice Hall.
  • Hansen, M. R, Rischel, H. (1999). Introduction to Programming using SML. Addison-Wesley.
  • Hutton, G. (2007). Programming in Haskell. Cambridge University Press.
  • Leeuwen, J. van (ed.). (1994). Handbook Of Theoretical Computer Science: Formal Models and Semantics. Volume B, Elsevier.
  • Zlatuška J. (1993). Lambda-kalkul. Vydavatelství MU, Brno.

Study plans that include the course
Faculty Study plan (Version) Branch of study Category Recommended year of study Recommended semester
Faculty of Science Computer Science (2015) Informatics courses 2 Winter