News for hackers. Stuff that matters.

A comment on Ask HN: any type theory book recommendation?.

Re:Ask HN: any type theory book recommendation? by stralep on Sunday March 28, 2010 @09:04PM (#1225543)
Programming in Martin-Löf's Type Theory http://www.cs.chalmers.se/Cs/Research/Logic/book/

I'm reading it from time to time. Useful for me.

[ Parent | on HN ]

There are no comments on this comment yet.