Gentzen-Mints-Zucker duality.

Daniel Murfet William Troiani

Published in: CoRR (2020)

Keyphrases

linear programming
horn clauses
genetic algorithm
sequent calculus
duality gap
linear time temporal logic