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
Year1969
Legacy DateJune 1969
Report NumberLN 25.3.053
Pages
Full text is not currently available for this publication.
InstitutionIBM Laboratory
Place PublishedVienna
ActionsLink to this publication