At 10:30 Uhr +0100 09.02.2000, Giovanni Pensa wrote: > Then there's a book on formal semantic for OO languages like CLOS. > Some posts ago. Giuseppe Castagna Object-Oriented Programming. A Unified Foundation Birkhaeuser 1997 I've started to read it and heartily wish I had a more solid background in theoretical CS, lambda calculus et al. I'm pondering whether I stand a chance to brush up my education now that I'm 30+. Michael