[M3devel] Baby Modula-3 type theory books

[Daniel Alejandro Benavides D.]

Hi all:
just FYI to let you know, and ask if anybody has a copy of it [1] how hard  do you thinks it is? See:
http://books.google.com/books?id=TF5VAAAAMAAJ&q=%22lambda+calculus+and+type+theory,%22&dq=%22lambda+calculus+and+type+theory,%22&hl=en&ei=UMk5Tt69DOLc0QHq3YX8Aw&sa=X&oi=book_result&ct=result&resnum=1&ved=0CCgQ6AEwADgU

The actual book preview at:
http://books.google.com/books?id=Ax2QXEwXhzQC

Maybe that there are partners on this:
http://www.coe.montana.edu/ee/cady/asmsurv.htm


Thanks in advance

[1] D. A. Schmidt, The structure of typed programming languages. MIT Press, 1994.