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

Dimitrios Alexopoulos, Elliot Bobrow, Yusuf Demir +4

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