4 ms·
What is "this?" The paper uses category theory as its lingua franca.
by DonbunEf7 9y ago
What is "this?" The paper uses category theory as its lingua franca.
- adamnemecek 9y agoRelationship between computation, logic and topology.
- tw1010 9y agoIn this context it's probably wise to use "proof" carefully, otherwise it's easy to confuse with its mathematical usage. Maybe "Homotopy type theory is also a sign of the relationship between computation, logic and topology" is a better way to express what you were trying to say :)