Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

A Taste of Type Theory

GOTO Conferences via YouTube

Overview

This course provides an introduction to type theory and its applications in programming, highlighting the connection between types and mathematics. The learning outcomes include understanding algebraic data types, inductive types, dependent types, and identity types. The course covers topics such as equalities, natural numbers, Curry-Howard correspondence, and Zeno's Paradox. The teaching method involves a presentation format with a focus on theoretical concepts and practical implications. The intended audience for this course includes programmers, software developers, and individuals interested in the theoretical foundations of programming languages.

Syllabus

Introduction
Outline
Equalities
Natural Numbers
Dependent Types
Induction on Nats
Curry Howard
Identity Type
refl
Elimination
Zeno's Paradox

Taught by

GOTO Conferences

Reviews

Start your review of A Taste of Type Theory

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Someone learning on their laptop while sitting on the floor.