 Theoretical Foundations of Programming Languages...
started 12/10/2000; 9:22:06 AM - last post 12/10/2000; 9:22:06 AM
|
|
Ehud Lamm - Theoretical Foundations of Programming Languages... 
12/10/2000; 9:22:06 AM (reads: 309, responses: 0)
|
|
| Theoretical Foundations of Programming Languages... |
This course home page contains some interesting stuff. Specifically a detailed discussion of the Church-Rosser theorem, and denotaional semantics of the lambda calculus. Also of interest may be the algebraic treatment of types.
Posted to "" by Ehud Lamm on 12/10/00; 9:23:33 AM
|
|
|
|
|
|