17 subscribers
Работайте офлайн с приложением Player FM !
Подкасты, которые стоит послушать
РЕКЛАМА


1 Amy Schumer & Brianne Howey on the Importance of Female Friendships, Navigating Hollywood's Double Standards, Sharing Their Birth Stories, and MORE 50:05
Begin Chapter on Simple Type Theory
Manage episode 413419195 series 2823367
In this episode, after a pretty long hiatus, I start a new chapter on simply typed lambda calculus. I present the typing rules and give some basic examples. Subsequent episodes will discuss various interesting nuances...
171 эпизодов
Manage episode 413419195 series 2823367
In this episode, after a pretty long hiatus, I start a new chapter on simply typed lambda calculus. I present the typing rules and give some basic examples. Subsequent episodes will discuss various interesting nuances...
171 эпизодов
Все серии
×

Добро пожаловать в Player FM!
Player FM сканирует Интернет в поисках высококачественных подкастов, чтобы вы могли наслаждаться ими прямо сейчас. Это лучшее приложение для подкастов, которое работает на Android, iPhone и веб-странице. Зарегистрируйтесь, чтобы синхронизировать подписки на разных устройствах.