Par means Parallel - Multiplicative Linear Logic Proofs as Concurrent Functional Programs

Relational Proofs for Quantum Programs

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

Симплициальные комплексы — ваш мозг как математика. Часть 2 | Бесконечные ряды

Frank Pfenning (2012) - Linear Logic Lecture 01

Даулет Жангузин, Groq, Cohere, Lyft - Как пишут код в 2026 г. лучшие программисты Кремниевой Долины?

Frank Pfenning (2012) - Linear Logic Lectures

Haskell 2021 - Why Functional Programming with Linear Types Matters

Haskell Symposium 2021

Will Troiani - Introduction to proof nets (Part 1)

2018 - Foundations of Programming Languages Program

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

Никто НЕ СДАСТ! Эту ТРИГОНОМЕТРИЮ дадут в ЗАДАНИИ №13 на ЕГЭ 2026!

Linear Types – Constantine Ter-Matevosian

Differentiable Functional Programming by Noel Welsh

Paul-André Melliès - A gentle introduction to template games and linear logic

Что с экономикой РФ? ФНБ на исходе, доходы рухнули, бизнес закрывается

Перетест Ai MAX+ 395 в жирном мини-ПК и тест AMD 8060s vs Intel B390

Малый бизнес закрывается. Экономист Владислав Жуковский

4 Hours Chopin for Studying, Concentration & Relaxation

Jean-Francois Mascari: Linear logic