Linear Logic as a Language for Structured Data

Explore a Berkeley seminar presentation that delves into how linear logic, particularly second-order multiplicative exponential linear logic, can serve as a powerful framework for handling structured data like HTML, HTTP, and relational databases. Learn how these everyday digital structures, used by billions but challenging to express in mainstream programming languages, can be naturally interpreted through graphs and graph substitutions within linear logic. Discover the potential of linear logic as a foundation for future programming languages, examining its ability to express and manipulate complex data structures in ways that current type systems struggle to achieve.