Steven Syrek - Lambda Calculus For People Who Can't Be Bothered to Learn It - part 2 of 2 - λC 2017

Steven Syrek - Category Theory for People who Can't be Bothered to Learn It (Part 2) - λC 2018Подробнее

Steven Syrek - Category Theory for People who Can't be Bothered to Learn It (Part 2) - λC 2018

Steven Syrek - Lambda Calculus For People Who Can't Be Bothered to Learn It - part 2 of 2 - λC 2017Подробнее

Steven Syrek - Lambda Calculus For People Who Can't Be Bothered to Learn It - part 2 of 2 - λC 2017

Steven Syrek - Lambda Calculus For People Who Can't Be Bothered to Learn It - part 1 of 2 - λC 2017Подробнее

Steven Syrek - Lambda Calculus For People Who Can't Be Bothered to Learn It - part 1 of 2 - λC 2017

Steven Syrek - Category Theory for People who Can't be Bothered to Learn It (Part 1) - λC 2018Подробнее

Steven Syrek - Category Theory for People who Can't be Bothered to Learn It (Part 1) - λC 2018

Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017Подробнее

Dana Scott - Theory and Models of Lambda Calculus Untyped and Typed - Part 2 of 5 - λC 2017

Playing with Lambda Calculus - BERNARDO AMORIMПодробнее

Playing with Lambda Calculus - BERNARDO AMORIM

Актуальное