Next:
Composition
Up:
Recursive functions
Previous:
Recursive functions
 
Contents
Initial functions
Zero
:
.
Successor
:
.
Projection
:
.
12.1
Madhavan Mukund 2004-04-29