Toggle Main Menu Toggle Search

Open Access padlockePrints

The Newcastle University research output collection, currently available on ePrints, will shortly be moving to a new open repository platform, Figshare. To prepare for the data migration we have paused adding new content to ePrints, and will resume once the new repository is launched. During this time you will continue to have access to ePrints (but no new content will appear). We will share updates here when available.

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

Lookup NU author(s): Emeritus Professor Cliff JonesORCiD

Downloads

Full text is not currently available for this publication.


Publication metadata

Author(s): Jones CB

Publication type: Report

Publication status: Published

Series Title:

Year: 1969

Print publication date: 01/06/1969

Source Publication Date: June 1969

Report Number: LN 25.3.053

Institution: IBM Laboratory

Place Published: Vienna


Share