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 Kutta on Saturday July 11, 2015 @01:39PM (#9870752)
Could you give pointers wrt cubical model being a dead end? As yet I've heard nothing about this.
[ Parent | on HN ]
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 ]