Instructors: Prof. Dr. rer. nat. Thomas Streicher; M.Sc. Jonathan Weinberger
Event type:
Lecture & Exercise
Org-unit: Dept. 04 - Mathematics
Displayed in timetable as:
functional Prog.
Subject:
Crediting for:
Hours per week:
3
Language of instruction:
Englisch
Min. | Max. participants:
- | -
Course Contents:
operational semantics, denotational semantics, domain theory, logical relations, logic of functional programs
Literature:
T. Streicher: Domain-Theoretic Foundations of Functional Programming, World Scientific (2006)
Preconditions:
recommended: Introduction to Mathematical Logic
|