Have a thing? Reasoning around recursion with dynamic typing in grounded arithmetic

Dimitrios Alexopoulos, Elliot Bobrow, Bryan Ford +5

Neither the classical nor intuitionistic logic traditions are perfectly aligned with the purpose of reasoning about computation, as neither can permit unconstrained recursive defin…