From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus

Steffen van Bakel Luca Cardelli Maria Grazia Vigliotti

Published in: CoRR (2011)

Keyphrases

sequent calculus
cut elimination
inference rules
linear logic
natural deduction
modal logic
linear time temporal logic
supervised learning
theorem prover
wide class
machine learning
object oriented