> I'm absolutely in the pro-static-types camp Reflecting on your comments on the Transcendental Syntax threads, you should really look into linear logic, or at

> I'm absolutely in the pro-static-types camp Reflecting on your comments on the Transcendental Syntax threads, you should really look into linear logic, or at least System F (https://en.wikipedia.org/wiki/System_F https://en.wikipedia.org/wiki/System_F).