Lambda the Ultimate

I don't want to to turn LtU into a branch of Amazon but I've got a copy of "A theory of programming language semantics" by Milne & Strachey (hard cover, 2 volumes, good condition, pub 1976) to dispose of. I'm not a dealer, just a recently retired academic disposing of books I sadly realise I'll never read. I hate giving books to charity shops if I know there a 99% probability they'll just get pulped. Surely on LtU there is someone with an interest in programming language history?

I've just added it to Amazon for £60 (the other copies there are over £100) but if anyone wants to make a case for getting it cheaper (e.g. you are researching the history of programming language semantics - must be thousands of you out there!) they can contact me via Amazon.

The amazon link is: A theory of programming language semantics

(via LogBlog)

This site offers written curricular materials, based on primary historical sources, for beginning and advanced undergraduate courses in discrete mathematics and computer science. Such courses, which often cover combinatorics, deductive reasoning (logic) and algorithmic thought, draw a variety of majors, ranging from computer science, mathematics, the physical sciences and engineering to secondary education. Traditional methods of instruction follow ``The Modern American Discrete Mathematics Text,'' which although thorough and mathematically precise, present the material as a fast-paced news reel of facts and formulae, often memorized by the students, with the text itself offering only passing mention of the motivating problems and original work which eventually found resolution in modern concepts such as induction, recursion, or algorithm.

This sort of apporach is very close to my heart, as LtU readers probably know. I wish them well.