Course Chapters
Table of Contents
Explore each chapter of type theory in a structured learning sequence.
1 chapters available
Type Theory
Explore comprehensive resources and materials for this computer science field.
Core Concepts
Key Topics
Essential concepts and areas you should master in type theory.
Types
Terms
Judgements
Rules of Inference
Type Inhabitation
Curry-Howard Correspondence
Homotopy Type Theory
Atomic Terms
Function Terms
Lambda Terms
Function Application
Reductions
Practice Problems
Featured Problem
Test your knowledge with this type theory problem
Problem 1
Test your knowledge with this type theory problem
Start problem
Problem 2
Test your knowledge with this type theory problem
Start problem
Problem 3
Test your knowledge with this type theory problem
Start problem
Continue Learning
Ready to dive deeper into type theory? Explore more resources and connect with the community.