linear-logic topic

A Compiler for the Popr Language

HackerFoo

a library for experimental linear lambda calculus

noamz

A place to collect work on dialectica categories.

vcvpaiva

LinearOne is a prototype theorem prover for first-order (multiplicative, intuitionistic) linear logic.

RichardMoot