next up previous contents index
Next: Computation System Modification Up: Recursive Definition Previous: Expressiveness and Elegance

Details of the Extension

The following modifications will add inductive types to Nuprl .



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