"Linear Logic Programming" by Chris Martens (2013) Strange Loop Conference 39:28 3 years ago 2 979 Скачать Далее
"Ceptre: A Language for Modeling Generative Interactive Systems" by Chris Martens Strange Loop Conference 37:32 8 years ago 10 071 Скачать Далее
Stephen Mell: Linear Logic is a Language for Structured Data Topos Institute 57:56 11 months ago 1 633 Скачать Далее
Linear Logic, Session Types and Deadlock-Freedom Simons Institute 23:43 7 years ago 4 223 Скачать Далее
Generalized kerning is undecidable! But anagraphing is possible. (Tom Academy) suckerpinch 51:51 6 years ago 146 889 Скачать Далее
"Puzzles, Problems, and Programs" by Chris Martens Strange Loop Conference 39:50 5 years ago 2 599 Скачать Далее
Paul-André Melliès - A gentle introduction to template games and linear logic Institut des Hautes Etudes Scientifiques (IHES) 45:13 1 year ago 985 Скачать Далее
Foundations of Programming Languages: Linear Logic [1/2] - Paul Downen - OPLSS 2018 OPLSS 1:30:06 5 years ago 3 472 Скачать Далее