Univalence from a computer science point-of-view - Dan Licata

Похожие видео

Algebraic K-theory, combinatorial K-theory and geometry - Inna Zakharevich

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

The Hardest Problem in Type Theory - Computerphile

The mathematical work of Vladimir Voevodsky - Dan Grayson

How I became seduced by univalent foundations

Intro to Homotopy Type Theory

Computer Science and Homotopy Theory - Vladimir Voevodsky

What do we mean by "equal" - Pierre Deligne

Type Theory in Computer Science, Linguistics, Logic

Does HoTT Provide a Foundation for Mathematics? by James Ladyman (University of Bristol, UK)

01 Course Introduction

The HoTTest Axiom of math

A survey of Univalent Foundations (by Eric Finster, November 13th, 2014)

"A Little Taste of Dependent Types" by David Christiansen

Intensionality, Invariance, and Univalence, Steve Awodey

Introduction to Cubical Type Theory (Part I)

Homotopy Type Theory Discussed - Computerphile

ЛЕКЦИЯ ПРО НАДЁЖНЫЕ ШИФРЫ НА КОНФЕРЕНЦИИ БАЗОВЫХ ШКОЛ РАН В ТРОИЦКЕ

Univalent foundations and the equivalence principle - Benedikt Ahrens

Негативный портал - как он объясняет карманное пространство?