start | find | index | login or register | edit
Samstag, 19. März 2005 link

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.

no comments

Please log in (you may want to register first) to post comments!

search

mar 19, in:

2009 / 2008 / 2007 / 2005 / 2001

39 active users

backlinks (more)

none, yet

recent stores (more)

recent comments

powered by vanilla
echo earlZstrainYat|tr ZY @.
earl.strain.at • esa3 • online for 8662 days • c'est un vanilla site