Záložky osoby: Mgr. Martin Milata, učo 256615 se štítkem: FI funkcionální_programování
Záložky osoby: Mgr. Martin Milata, učo 256615 se štítkem: FI funkcionální_programování
- To 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 osoba, první 22. 9. 2008, Martin Milata, záložky, lidé
Děkujeme del.icio.us za inspiraci.