836 followers
Formal Small-step Verification of a Call-by-value Lambda Calculus Machine ってコレどんなのだろ https://t.co/EeiIqR3bbv
Formal Small-step Verification of a Call-by-value Lambda Calculus Machine ってコレどんなのだろ https://t.co/EeiIqR3bbv
Formal Small-step Verification of a Call-by-value Lambda Calculus Machine https://t.co/xklJ4mcfei
Formal Small-step Verification of a Call-by-value Lambda Calculus Machine https://t.co/ZBFkhGX2TS
"Formal Small-step Verification of a Call-by-value Lambda Calculus Machine. (arXiv:1806.03205v3 [cs.LO] UPDATED)" #arXiv https://t.co/GoSqDyTU1w