Tag Archives: Sequent Calculus

Sequent Calculus as a Compiler Intermediate Language

The λ-calculus is popular as an intermediate language for practical compilers. But in the world of logic it has a lesser-known twin, born a [...]
Aasemoon © 1992 - 2022
-->