Author:
Sørensen Morten Heine,Urzyczyin Pawel
Reference67 articles.
1. Compiling with Continuations;Appel,1992
2. Minimal classical logic and control operators;Ariola,2003
3. Rudiments of μ-Calculus, volume 146 of Studies in Logic and the Foundations of Mathematics;Arnold,2001
4. F. Barbanera and S. Berardi. Extracting constructive content from classical proofs via control-like reductions. In Bezem and Groote [45], pages 45–59.
5. A symmetric lambda-calculus for “classical” program extraction;Barbanera;Information and Computation,1996