start | find | index | login or register | edit | ||
2005-03-19
by earl, 7144 days ago
Benjamin Pierce: "Foundational Calculi for Programming Languages" (1995) - certainly one of the best (introductorial) pieces on the Lambda Calculus I ever read. Proceeds to discuss pi-calculus as well.
|
search 2 active users
backlinks (more) none, yet recent stores (more) recent comments echo earlZstrainYat|tr ZY @. |
|
earl.strain.at • esa3 • online for 8640 days • c'est un vanilla site |