Login / Signup

Unwinding a Non-effective Cut Elimination Proof.

Grigori Mints
Published in: CSR (2006)
Keyphrases
  • cut elimination
  • linear logic
  • sequent calculus
  • natural deduction
  • proof theory
  • pairwise
  • object oriented
  • markov random field
  • sufficient conditions
  • dynamical systems