Type Theory Foundations 1.0 — Robert Harper

Type Theory Foundations 1.1 — Robert Harper

HoTT 1: Типизированное лямбда исчисление

Type Theory in Computer Science, Linguistics, Logic

01 Course Introduction

Computational Type Theory [1/5] - Robert Harper - OPLSS 2018

Type Theory Foundations, Lecture 1

"A Little Taste of Dependent Types" by David Christiansen

How I became seduced by univalent foundations

Per Martin Löf: How did 'judgement' come to be a term of logic ?

Category Theory, The essence of interface-based design - Erik Meijer

∞-Category Theory for Undergraduates

Was soll HoTT? [Intro to HoTT, No. 0]

Univalent Foundations Seminar - Steve Awodey

НЕВЕРОЯТНАЯ ЗАДАЧКА ОТ СЕРГЕЯ ТРАВКИНА ПРО БЕЛЫЕ И ЧЁРНЫЕ ШАРЫ!!!!! ВЗРЫВ МОЗГА!!!!

Category Theory Foundations, Lecture 1

The Future of Mathematics?

Category theory foundations 1.0 — Steve Awodey

Naïve Type Theory by Thorsten Altenkirch (University of Nottingham, UK)

Why algebraic data types are important - Bartosz Milewski - code::dive 2018

A Sensible Introduction to Category Theory