Toggle Main Menu Toggle Search


A proof of the correctness of an interpreter based on axiom schema

Lookup NU author(s): Professor Cliff Jones


Full text is not currently available for this publication.

Publication metadata

Author(s): Jones CB

Publication type: Report

Series Title:

Year: 1969

Source Publication Date: June 1969

Report Number: LN 25.3.053

Institution: IBM Laboratory

Place Published: Vienna