Sequent Calculus and Equational Programming.

Nicolas Guenot Daniel Gustafsson

Published in: LFMTP (2015)

Keyphrases

sequent calculus
inference rules
cut elimination
linear logic
theorem proving
natural deduction
modal logic
theorem prover
programming language
horn clauses
linear time temporal logic
artificial intelligence
high level
high dimensional
software engineering
first order logic