A proof of the correctness of an interpreter based on axiom schema (1969)

Author(s): Jones CB

      • Date: June 1969
      • Institution: IBM Laboratory
      • Publication type: Report
      • Bibliographic status: Published
        Staff

        Professor Cliff Jones
        Professor

        • Telephone: +44 191 208 8183