L.S.
I am new to Squeak (since July) and should like to recieve references to texts that address foundational issues of
- Smalltalk - Self - Blockclosures (and Lambda-calculus)
on a fairly sophisticated level, especially if these texts were written with reference to and knowledge of mathematical logic.
I have read the Blue Book and other introductions, but these do not answer most of the questions I'd like to see discussed, such as e.g. the relation between lambda-calculus and blockclosures.
Probably, the sort of stuff I am most interested in would be on line Ph.D.-theses that concern aspects of smalltalk and have been written by mathematical people.
Incidentally, on my site I have been uploading over the last months some of my impressions of Squeak (section Computing).
Regards,
Maarten Maartensz.
Website in Holland about philosophy, logic, M.E. (Myalgic Encephalomyelitis) and much more: