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.