Sequent calculus as a compiler intermediate language.

Paul Downen Luke Maurer Zena M. Ariola Simon 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