Actually, that's 
-calculus
More natural in some ways than Turing machines
Models function calling and value return
Turing-equivalent
Can perform all conventional computations
Church, 1934
| September 22, 1999 | Perl and the Lambda Calculus | Slide #5 |
Actually, that's -calculus
More natural in some ways than Turing machines
Models function calling and value return
Turing-equivalent
Can perform all conventional computations
Church, 1934
| Next |  |
Copyright © 1999 M-J. Dominus |