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

  1. Lookup NU author(s)
  2. Professor Cliff Jones
Author(s)Jones CB
Publication type Report
Series Title
Legacy DateJune 1969
Report NumberLN 25.3.053
Full text is not currently available for this publication.
InstitutionIBM Laboratory
Place PublishedVienna
ActionsLink to this publication