Foundations of Programming Languages: Linear Logic [1/2] - Paul Downen - OPLSS 2018

Foundations of Programming Languages: Linear Logic [2/2] - Paul Downen - OPLSS 2018

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

Dependent Types in the Idris Programming Language 1 - Edwin Brady - OPLSS 2017

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

Frank Pfenning (2012) - Linear Logic Lectures

Frank Pfenning (2012) - Linear Logic Lecture 01

"A Little Taste of Dependent Types" by David Christiansen

Удар по Темрюку, Трамп в Давосе, Адам идет на поправку. Галлямов, Касьянов, Филиппенко

4 Hours Chopin for Studying, Concentration & Relaxation

Linear Logic, Session Types and Deadlock-Freedom

Linear Types – Constantine Ter-Matevosian

ЛИПСИЦ: Кризис ТОТАЛЬНЫЙ. Минфин горит. Нефть Путина никому не нужна. Цены растут. Трамп. Банки

How (and why) to Build an Automated Theorem Prover: De-mystifying Logical Inference

Для Чего РЕАЛЬНО Нужен был ГОРБ Boeing 747?

"Categories for the Working Hacker" by Philip Wadler

4 часа Шопена для обучения, концентрации и релаксации

Philip Wadler - Propositions as Types (Lambda Days 2016)

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

Will Troiani - Introduction to proof nets (Part 1)

Linear and Dependent Types 1 - Neel Krishnaswami - OPLSS 2017