Report copyright - derived-krivine-machine-agda Swierstra dk · ru. nl This paper presents the derivation of an executable Krivine abstract machine from a small step inter-preter for the simply typed
Please pass captcha verification before submit form