Proof Nets and Coherence Theorems.

Published in: Category Theory and Computer Science (1991)

Keyphrases

proof search
sequent calculus
theorem prover
cut elimination
theorem proving
linear logic
natural deduction
proof planning
search engine
decision trees
image sequences
video sequences
digital libraries
mathematical proofs