next up previous
Next: Functions Computable in Terms Up: A BASIS FOR A Previous: Introduction

Formalisms For Describing Computable Functions and Related Entities

In this part we describe a number of new formalisms for expressing computable functions and related entities. The most important section is 1, the subject matter of which is fairly well understood. The other sections give formalisms which we hope will be useful in constructing computable functions and in proving theorems about them.

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