This paper examines the link between minimal intuitionistic logic and call-by-value evaluation in programming.
― 10 min read
Cutting edge science explained simply
This paper examines the link between minimal intuitionistic logic and call-by-value evaluation in programming.
― 10 min read