next up previous
Next: Recursive function theory Up: A BASIS FOR A Previous: Recursion Induction

Relation to Other Formalisms

 





John McCarthy
Wed May 1 17:18:52 PDT 1996