15-836 Substructural Logics

12 units, Carnegie Mellon University

This graduate course provides an introduction to substructural logics, such as linear, ordered, affine, bunched, or separation logic, with an emphasis on their applications in computer science. This includes the design and theory of programming constructs for concurrent messagepassing computation and techniques for specifying and reasoning about programming languages in the form of substructural operational semantics.

Prerequisites: none listed

Offered: Spring 2027

Courseweave needs JavaScript to show sections, workloads and planning tools.