Linear Logic Programming

Explore the principles of linear logic programming in this 39-minute conference talk from Strange Loop 2013. Delve into how changing the underlying logic from classical first-order logic to linear logic introduces new programming primitives. Learn how linear logic programming, through the Celf logical framework and experimental programming language, can capture state change and resource usage idioms declaratively. Discover potential applications in state machines, narrative situations, and interactive applications. Gain insights from Chris Martens, a Ph.D. student at Carnegie Mellon University, on using abstract concepts like type and proof theory to make high-level ideas quickly executable in creative domains such as interactive media and games, as well as conventional software systems.