Скачать
Foundations of Programming Languages: Linear Logic [2/2] - Paul Downen - OPLSS 2018
Автор: OPLSS
Загружено: 2018-07-31
Просмотров: 970
Описание:
Oregon Programming Languages Summer School
Parallelism and Concurrency
July 3-21, 2018
University of Oregon
https://www.cs.uoregon.edu/research/s...
Title: Foundations of Programming Languages: Linear Logic [2/2]
Speaker: Paul Downen, University of Oregon
Date: Saturday, 7 July 2018, Session 2
Topics: linear logic ; Curry-Howard correspondence ; proofs as programs ; sequent calculus ; multiplicative additive linear logic ; duality theorem ; involutive negation ; one- vs. two-sided presentation
© 2018, University of Oregon
![Foundations of Programming Languages: Linear Logic [2/2] - Paul Downen - OPLSS 2018](https://imager.clipsaver.ru/8Ybblu6VpiI/max.jpg)
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
![Practical Foundations for Programming Languages [1/4] - Robert Harper - OPLSS 2019](https://imager.clipsaver.ru/8cXl2Tfhy_Q/max.jpg)
![Computational Type Theory [5/5] - Robert Harper - OPLSS 2018](https://imager.clipsaver.ru/RhDuRmg-SdA/max.jpg)
![Session-Typed Concurrent Programming [1/4] - Frank Pfenning - OPLSS 2019](https://imager.clipsaver.ru/3aKDnnta9Ck/max.jpg)
![Semantics of Advanced Data Types - Patricia Johann [1/4]](https://imager.clipsaver.ru/YhUE32PxGWk/max.jpg)
