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