Search

Florian Chudigiewitsch
Florian Chudigiewitsch
  • Home
  • Posts
  • Publications
  • Contact
  • Light Dark Automatic
  • Courses
Lectures on the Curry-Howard-Correspondence
  • Intuitionistic logic
  • Type Theory
  • Contents
  • Learn
  • Quiz
  1. Home
  2. Courses
  3. Lectures on the Curry-Howard-Correspondence
  4. Type Theory

Type Theory

Introduction to type theory.

1-2 hours per week, for 8 weeks

Learn

Stuff

This is important

Quiz

What is type theory?

Dunno.

Previous
Intuitionistic logic

Last updated on 23.10.2021

2022

Published with Wowchemy — the free, open source website builder that empowers creators.

Cite
Copy Download