9 Feb
2014
9 Feb
'14
6:16 p.m.
On Fri, Feb 7, 2014 at 7:34 AM, <matias@lifia.info.unlp.edu.ar> wrote:
Almost two decades ago I studied Type Theory in Uruguay on a course organized, if I remember correctly, by Gustavo Betarte and Alvaro Tasistro. In those times we used
"Programming in Martin Lof type theory" by Nordstrom.
That book has been made freely available: http://www.cse.chalmers.se/research/group/logic/book/book.pdf -- Mike Stay - metaweta@gmail.com http://www.cs.auckland.ac.nz/~mike http://reperiendi.wordpress.com [For admin and other information see: http://www.mta.ca/~cat-dist/ ]