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

Uploaded By: Myvideo

Published on

19 Sep 2018

18 views

0

0 votes

0

About Share Download Add to

Первая лекция по гомотопической теории типов, в которой мы на примере простой версии теории типов познакомимся с основными ее элементами.

Share with your friends

Link:

Embed:

<iframe width="640" height="360" src="//myvideo.cc/embed/VTNoR1E3Qy9XaU5UY1JTS1BsNVR3Y0I1QVp2M2w4UVhldEozSS9lTldIRT0" frameborder="0" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>

Video Size:

Custom size:

x

Autoplay video

Hide player controls

Hide resume playing

Add to Playlist:

Favorites

My Playlist

Watch Later

Appartement Paris - 1 pice(s) - 33 m2

8 months ago

00:01:11

Appartement Paris - 1 pice(s) - 33 m2

0 29%

KNOCK2 - GETTIN' HOTT (ELIMINATE REMIX)

8 months ago

00:03:18

KNOCK2 - GETTIN' HOTT (ELIMINATE REMIX)

0 7%

Cat Quest II #5 - ХОТТО ДОГГО

9 months ago

00:37:59

Cat Quest II #5 - ХОТТО ДОГГО

0 13%

Самодельный компьютер (ч. 1): Сборка платы ZX Spectrum ( АТМ Турбо 2+)

9 months ago

00:19:39

Самодельный компьютер (ч. 1): Сборка платы ZX Spectrum ( АТМ Турбо 2+)

0 65%

Самодельный компьютер (ч. 2): кастомный корпус для ZX Spectrum в стиле ретро моноблока

9 months ago

00:13:46

Самодельный компьютер (ч. 2): кастомный корпус для ZX Spectrum в стиле ретро моноблока

0 45%

Dendy Своими Руками (ч. 1) - Проектируем плату с модами и цветомузыкой! | Денди

9 months ago

00:33:40

Dendy Своими Руками (ч. 1) - Проектируем плату с модами и цветомузыкой! | Денди

0 25%

Tyla - Water

9 months ago

00:03:23

Tyla - Water

0 91%

Дон Кихот и Дульсинея

10 months ago

00:13:12

Дон Кихот и Дульсинея

0 93%

After FG 2 ( Mixed By Jean Marie K) 2004

10 months ago

01:15:44

After FG 2 ( Mixed By Jean Marie K) 2004

0 80%

Disco, House, and Soulful House Mix w/ CC:DISCO! (Live from The Basement)

10 months ago

01:01:57

Disco, House, and Soulful House Mix w/ CC:DISCO! (Live from The Basement)

1 16%

All Atheist Arguments Answered In 9 Minutes By Redeemed Zoomer | Let's See!

11 months ago

00:47:00

All Atheist Arguments Answered In 9 Minutes By Redeemed Zoomer | Let's See!

0 41%

A Disco Descent into Darkness | Varist

11 months ago

00:59:34

A Disco Descent into Darkness | Varist

0 67%

Kobra Paige - HOTT.

1 year ago

00:03:14

Kobra Paige - HOTT.

2 52%

Underground Rap Mix - Old School True School Hip Hop Rap Mixtape | LOMKA vol. 86 by RADJ (2024)

1 year ago

00:53:04

Underground Rap Mix - Old School True School Hip Hop Rap Mixtape | LOMKA vol. 86 by RADJ (2024)

241 14%

Tu trouveras la paix - Pour Rene Claude

1 year ago

00:03:55

Tu trouveras la paix - Pour Rene Claude

3 82%

Classic House 2000's /Old School Mix #019

1 year ago

01:04:06

Classic House 2000's /Old School Mix #019

0 57%

SI TU CONNAIS CES MOTS FRANAIS, TON NIVEAU EST B2

1 year ago

00:17:01

SI TU CONNAIS CES MOTS FRANAIS, TON NIVEAU EST B2

0 77%

10 РЕЦЕПТОВ ПОСТНОЙ ВЫПЕЧКИ! Вкусная и быстрая выпечка на Скорую руку! Выпечка в пост

1 year ago

00:14:49

10 РЕЦЕПТОВ ПОСТНОЙ ВЫПЕЧКИ! Вкусная и быстрая выпечка на Скорую руку! Выпечка в пост

0 81%

ZX Spectrum от подписчика: ремонт компьютера Ленинград 1 (часть 2)

1 year ago

00:06:51

ZX Spectrum от подписчика: ремонт компьютера Ленинград 1 (часть 2)

0 74%

Underground Rap Mix - Old School True School Hip Hop Rap Mixtape | LOMKA vol. 79 by RADJ (2024)

1 year ago

01:10:45

Underground Rap Mix - Old School True School Hip Hop Rap Mixtape | LOMKA vol. 79 by RADJ (2024)

0 28%

Lexy Panterra - Part Time Lover (Starring Andre Drummond) (Official Music Video)

1 year ago

00:02:30

Lexy Panterra - Part Time Lover (Starring Andre Drummond) (Official Music Video)

6 20%

Richie Wess - WYD (Official Music Video)

1 year ago

00:02:14

Richie Wess - WYD (Official Music Video)

0 22%

ИНСТРУКЦИЯ и НОВОСТИ NEAR WALLET | $HOT | ОШИБКИ И ИХ РЕШЕНИЕ

1 year ago

00:05:39

ИНСТРУКЦИЯ и НОВОСТИ NEAR WALLET | $HOT | ОШИБКИ И ИХ РЕШЕНИЕ

0 82%

Classic House 2000's /Old School Mix #013

1 year ago

01:01:09

Classic House 2000's /Old School Mix #013

0 34%

0 Comments

Guest