Sign in

Sequent calculus as a compiler intermediate language.

Paul DownenLuke MaurerZena M. AriolaSimon Peyton Jones
Published in: ICFP (2016)
Keyphrases
  • sequent calculus
  • programming language
  • cut elimination
  • linear logic
  • natural deduction
  • inference rules
  • general purpose
  • modal logic
  • wide class
  • natural language
  • highly modular
  • query language