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
| September 22, 1999 | Strong Typing | 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
| Next |  |
Copyright © 1999 M-J. Dominus |