CS258 Covers the theory of programming lanugages including lambda calculus etc.
not in the cards I believe.
![[Stanford]](http://www-cs.stanford.edu/gifs/stanford.seal56.gif)
![[CS Dept.]](http://www-cs.stanford.edu/gifs/logo.csd.gif)
![[Mark Pichora]](http://www-cs.stanford.edu/gifs/arrow.marble56.up2.gif)