5 ms·Grokking the Sequent Calculus (Functional Pearl)29 points by marvinborner 2y ago082349872349872 2y agocompare Filinski, Declarative Continuations and Categorical Duality (1989)