Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Can someone please point out online resources to learn about Krivine Machine?

My professor briefly touched it while teaching a course in Computer logic. google did not turn up much except some papers which seemed hard to follow. Neither was there anything on it over at Wikipedia.

share|improve this question
Why don't you ask your professor? –  Chris Eagle Nov 9 '12 at 17:37
because he mentioned he would not be teaching it and instead concentrate on the SECD machine. he just mentioned that if one is interested they could read about Krivines machine as well –  Ankit Nov 9 '12 at 17:50
Found these set of pdf slides at gallium.inria.fr/~xleroy/mpri/2-4/machines.2up.pdf that provide a somewhat decent explanation of Krivine machine –  Ankit Nov 14 '12 at 12:24

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.