next up previous contents index
Next: Differences in the Up: No Title Previous: Miscellaneous Functions

Appendix B: Converting to from Lambda--prl

This appendix discusses the differences in the Lambda--prl and Nuprl logics and user interfaces and ways to simulate Lambda--prl constructs in Nuprl .

Richard Eaton
Thu Sep 14 08:45:18 EDT 1995