Readings in linear logic

04 Jan 2014

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

Logic

Papers related directly to linear logic.

Type Theory

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

Courses

Online course materials related to linear logic.

Wikipedia & Web

Related wikipedia entries and other websites.

Languages

Languages which support linear type systems.

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

comments powered by Disqus