Lectures on the Curry-Howard-Correspondence

Table of Contents

What you will learn

  • Nothing, it is just for testing.

Program overview

Lorem ipsum dolor sit amet, consectetur adipiscing elit. Duis posuere tellus ac convallis placerat. Proin tincidunt magna sed ex sollicitudin condimentum. Sed ac faucibus dolor, scelerisque sollicitudin nisi.

Courses in this program

Meet your instructor

Florian Chudigiewitsch

FAQs

Are there prerequisites?

There are no prerequisites for the first course.

How often do the courses run?

Continuously, at your own pace.