Browsing AI Memos (1959 - 2004) by Author "Levin, Michael"

Now showing items 1-8 of 8

    • Arithmetic in LISP 1.5 

      Levin, Michael (1961-04-01)
      As of the present, the following parts of LISP 1.5 are working. This is an excerpt from the forth coming LISP 1.5 Programmer's Manual.

    • LISP Exercises 

      Hart, Timothy P.; Levin, Michael (1964-01-01)
      The following exercises are carefully graded to mesh with the sections in Chapter I, "The LISP Language", in the LISP 1.5 Programmer's Manual. Each exercise should be worked immediately after reading the manual section indicated.

    • New Language Storage Conventions 

      Levin, Michael (1964-05-01)
      These conventions are for the implementation of the new language on a large computer on which time-sharing is the standard role of operation. Each user is at any time asigned a certain amount of primary storage. This ...

    • Primitive Recursion 

      Levin, Michael (1963-07-01)
      This is one of a series of memos concerning a logical system for proof-checking. It is not self-contained, but belongs with future memos which will describe a complete formal system with its intended interpretation and ...

    • Proposed Instructions on the GE 635 for List Processing and Push Down Stacks 

      Levin, Michael (1964-09-01)
      The instructions that transmit data between the index registers and the memory work only on the left half (address) portion of memory. These instructions are LDXn (load index n from address of storage word). And STXn (store ...

    • Syntax of the New Language 

      Levin, Michael (1964-05-01)
      This is a definition of the syntax of the *** language. It consists of modifications and extensions of the "Revised Report on the Algorithmic Language ALGOL 60" which is printed in the "Communications of the ACM", January ...

    • Topics in Model Theory 

      Levin, Michael (1965-05-01)
      The concept of "free" as in free group and free semi-group is extended to arbitrary first order theories. Every consistent theory has free models. Some problems of obtaining a categorical theory of models are discussed.

    • Topics in Model Theory 

      Levin, Michael (1966-01-01)
      The concept of free as in "free group" is generalized to any first order theory. An interesting class of homomorphisms between models is discussed. Relations between model theory and abelian categories are discussed ...