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 doall on Sunday July 12, 2015 @04:52PM (#9874921)
See this https://groups.google.com/d/msg/homotopytypetheory/oXQe5u_Mm...
[ Parent | on HN ]

There are no comments on this comment yet.