summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
d9ce3c0)
Signed-off-by: Jim Pryor <profjim@jimpryor.net>
[[How to get the programming languages running on your computer]]
[[How to get the programming languages running on your computer]]
-## Recommended Readings ##
* *An Introduction to Lambda Calculi for Computer Scientists*, by Chris
Hankin, currently $17 on
* *An Introduction to Lambda Calculi for Computer Scientists*, by Chris
Hankin, currently $17 on
+++ /dev/null
-1. How to program in the pure lambda calculus (Scheme and OCaml options)
-
-2. Chris's Lambda tutorial
- Other wiki links:
- Lambda Calculus
- ...
-
- Combinatorial Logic
- Chris's Iota and Jot
-
-