**Proof-Theory**

*!!Work in Progress!!*

**Linear Logic**

** Papers**

**Linear Lambda Calculus**

Look
**here**
for an implementation of the ** trips** by Jacques van de Wiele,
an algorithm that yields a *linear lambda term*, given any
* pointed graph* where all vertices have incidence 1 or 3.

**pointed graph:** a graph with a selected external vertex of
incidence 1.

**Other**
** Papers**

back home