News for hackers. Stuff that matters.

A comment on Relation Between Type Theory, Category Theory and Logic. Parent comment

Re:Relation Between Type Theory, Category Theory and Logic by jonsterling on Saturday July 11, 2015 @02:16PM (#9870935)
You do not in general decide whether two types are equivalent. You prove it...
[ Parent | on HN ]

There are no comments on this comment yet.