3 ms·
In Church’s “A Formulation of the Simple Theory of Types” he says he is heavily indebted to Russell.
by jweir 5y ago
In Church’s “A Formulation of the Simple Theory of Types” he says he is heavily indebted to Russell.
- Ericson2314 5y agoAfter that, it really gets going with Girard's System F and Martin Loef type thoery.