3 ms·
Yes, I had Church's simply typed lambda calculus in mind. You need to add a fix point combinator or general recursion.
by jonathanstrange 1y ago
Yes, I had Church's simply typed lambda calculus in mind. You need to add a fix point combinator or general recursion.