LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 313-315 of 486

    • Communication Ring Initialization Without Central Control 

      Saltzer, Jerome H. (1981-12)
      This short memorandum describes a novel combination of three well-known techniques; the combination provides a systematic way of initializing a local-area ring network without previous, static designation of a distinguished ...

    • What is a Model of the Lamda Calculus? Expanded Version 

      Meyer, Albert R. (1981-07)
      An elementary, purely algebraic definition of model for the untypes lambda calculus is given. This definition is shown to be equivalent to the natural semantic definition based on environments. These definitions of model ...

    • LSB Manual 

      Burke, Glenn (1981-06)
      LSB (for Layered System Building) is an integrated set of facilities for aiding in the construction of highly-modular, multi-layered, implementation-independent Lisp systems. It provides for conditional inclusion of source ...