-
Notifications
You must be signed in to change notification settings - Fork 2
Session 7
Alex Gryzlov edited this page Nov 20, 2019
·
1 revision
- de Groote, "On the Relation between the λμ-Calculus and the Syntactic Theory of Sequential Control"
- de Groote, "An Environment Machine for the lambda-mu-calculus"
- Ariola, Herbelin, "Minimal classical logic and control operators"
- Herbelin, Saurin, "λμ-calculus and Λμ-calculus: a Capital Difference"
- Selinger, "An Implementation of the Call-By-Name Lambda-Mu-Nu Calculus"
- Herbelin, Ghilezan, "An approach to call-by-name delimited continuations"
Попробуйте портировать виртуальную машину (InstructN/InstructV) для MuPCF.Top исчисления.