Instructors: Prof. Dr. rer. nat. Thomas Streicher
Event type: Lecture & Exercise
Org-unit: Dept. 04 - Mathematics
Displayed in timetable as: 04-00-0260-vu
Subject:
Crediting for:
Hours per week: 3
Language of instruction: German
Min. | Max. participants: - | -
Course Contents: full abstraction, computability in domains
Mathematical Foundations of Functional Programming 2
Prof. Dr. rer. nat. Thomas Streicher
Mon, 16. Oct. 2023 [18:00]-Mon, 5. Feb. 2024 [18:50]