Readings in linear logic

04 Jan 2014

This is a work in progress post outlining my research into linear logic and linear type systems.


Papers related directly to linear logic.

Type Theory

Papers related to linear logic, specifically focusing on type theory.


Online course materials related to linear logic.

Wikipedia & Web

Related wikipedia entries and other websites.


Languages which support linear type systems.

I’m hoping to make this into a living document, so please submit pull requests or leave comments!