Learn More
UNCLASSIFIED ABSTRACT We present a simple correspondence between a large subset of ALGOL 60 language and lambda-calculus. With the aid of this correspondence, a program can be translated into a single lambda-expression. In general, the representation of a program is specified by means of a system of simultaneous conversion relations among the(More)
  • 1