generated at
Krivine machine
Explicit substitution
Operational semantics
SECD machine

googleKrivine machine
image Krivine machine
define Krivine machine
wikipedia Krivine machine
weblio Krivine machine
kotobank Krivine machine
jisho Krivine machine