Bookmarks of the following user: Mgr. Martin Milata, učo 256615 with the tag: FI
Bookmarks of the following user: Mgr. Martin Milata, učo 256615 with the tag: FI
IV100 - Paralelné a distribuované výpočty
Studijní materiály k předmětu.
2 users, first 22/9/2008, Martin Milata, bookmarks, peopleTo Dissect a Mockingbird: A Graphical Notation for the Lambda Calculus
The lambda calculus, and the closely related theory of combinators, are important in the foundations of mathematics, logic and computer science. This paper provides an informal and entertaining introduction by means of an animated graphical notation.
1 user, first 22/9/2008, Martin Milata, bookmarks, people
Special thanks to del.icio.us for inspiring us.