Schematic Affine Recursion, Oh My!

Iowa Type Theory Commute by Aaron Stump

To solve the problem raised in the last episode, I propose schematic affine recursion. We saw that affine lambda calculus (where lambda-bound variables are used at most once) plus structural recursion does not enforce te...View more