2 ms·
It connects logic, topology and type systems. How is this not a big deal? It's also computation friendly.
by adamnemecek 7y ago
It connects logic, topology and type systems. How is this not a big deal? It's also computation friendly.
- dvt 7y agoLogic and type systems have been connected since Frege (he coined "functional" and "non-functional" types[1]). Computation friendly is interesting, but not really revolutionary. Topology I'm not an expert in so I can't comment. [1] On Function and Concept, 1891; http://fitelson.org/proseminar/frege_fac.pdf http://fitelson.org/proseminar/frege_fac.pdf