Login / Signup

IMELL Cut Elimination with Linear Overhead.

Beniamino AccattoliClaudio Sacerdoti Coen
Published in: FSCD (2024)
Keyphrases
  • cut elimination
  • sequent calculus
  • linear logic
  • natural deduction
  • wide class
  • linear time temporal logic
  • machine learning
  • high level
  • general purpose