Next:
Logical Operators
Up:
Appendix B: Converting
Previous:
Differences in the
Simulating Lambda--prl Constructs in Nuprl
Logical Operators
Lists
Primitive Recursive Functions
Extraction Terms
Richard Eaton
Thu Sep 14 08:45:18 EDT 1995
