Login / Signup
The Structure of Exponentials: Uncovering the Dynamics of Linear Logic Proofs.
Vincent Danos
Jean-Baptiste Joinet
Harold Schellinx
Published in:
Kurt Gödel Colloquium (1993)
Keyphrases
</>
linear logic
cut elimination
sequent calculus
proof search
fixed point
logical framework
natural deduction
proof theoretic
desirable properties
intuitionistic logic
logic programming
pairwise
general purpose
higher order
dynamical systems