Things you'd better (try to) read before Friday evening

[Jan Malakhovski]

Dear all,

Please, spend some time reading through the following papers:
http://intuitionistic.files.wordpress.com/2010/07/martin-lof-tt.pdf
http://www.springerlink.com/content/xg2v1297n33661k6/ (paywalled, ask sci-hub or me for a copy)

There's also an advanced reading:
http://www.cs.nott.ac.uk/~txa/publ/types99.pdf

Best regards,
    Jan

[Andrew Shulayev]

Seems like Springer updated its site, and this article is not paywalled for now. I was able to download it.

[Jan Malakhovski]

Hurray, finally!

--
You received this message because you are subscribed to the Google Groups "Type Theory for Vegetables" group.
To view this discussion on the web visit https://groups.google.com/d/msg/type-theory-for-vegetables/-/rl69zcgK1BcJ.
To post to this group, send email to type-theory-f...@googlegroups.com.
To unsubscribe from this group, send email to type-theory-for-veg...@googlegroups.com.
For more options, visit this group at http://groups.google.com/group/type-theory-for-vegetables?hl=en.