LFCS reports 1988

• A Typed Lambda Calculus with Categorical Type Constructors
  T Hagino
  LFCS report ECS-LFCS-88-44
  
• Analysing mutual exclusion algorithms using CCS
  D Walker
  LFCS report ECS-LFCS-88-45
  
• Operational and Algebraic Semantics of Concurrent Processes
  R Milner
  LFCS report ECS-LFCS-88-46
  
• Models of Self-Descriptive Set Theories
  F Honsell
  LFCS report ECS-LFCS-88-47
  http://www.lfcs.informatics.ed.ac.uk/reportsndo
• Foundations and Proof Theory of 3-valued Logics
  A.Avron
  LFCS report ECS-LFCS-88-48
  
• Temporal Ordering for Concurrency
  C. Tofts
  LFCS report ECS-LFCS-88-49
  
• How to Breed Compiler/Interpreters
  A. Gordon
  LFCS report ECS-LFCS-88-50
  
• Bisimulations for Concurrency
  I. Castellani
  LFCS report ECS-LFCS-88-51 (also published as CST-51-88)
  
• Workshop on General Logic - Edinburgh 1987
  Avron, Harper, Honsell, Mason and Plotkin
  LFCS report ECS-LFCS-88-52
  
• On Functors Expressible in the Polymorphic Typed Lambda Calculus
  J. Reynolds and G. Plotkin
  LFCS report ECS-LFCS-88-53
  
• Operational Semantics and Polymorphic Type Inference
  Mads Tofte
  LFCS report ECS-LFCS-88-54 (also published as CST-52-88)
  
• Unifying Exceptions with Constructors in Standard ML
  Milner, Tofte, MacQueen, Appel
  LFCS report ECS-LFCS-88-55
  
• A Survey of Formal Software Development Methods
  D. Sannella
  LFCS report ECS-LFCS-88-56
  
• A Higher-order Calculus and Theory Abstraction
  Zhaohui Luo
  LFCS report ECS-LFCS-88-57
  
• CC and its Meta Theory
  Zhaohui Luo
  LFCS report ECS-LFCS-88-58
  
• Constructing Type Systems over an Operational Semantics
  R. Harper
  LFCS report ECS-LFCS-88-59
  
• Some Fundamental Algebraic Tools for the Semantics of Computation - Part III: Indexed Categories
  A Tarlecki, R M Burstall and J A Goguen
  LFCS report ECS-LFCS-88-60
  
• The Interactive Proof Editor - An Experiment in Interactive Theorem
  B Ritchie and P Taylor
  LFCS report ECS-LFCS-88-61
  
• The Definition of Standard ML - Version 2
  R Harper, R Milner and M Tofte
  LFCS report ECS-LFCS-88-62
  
• The Partial Lambda-Calculus
  E. Moggi
  LFCS report ECS-LFCS-88-63 (also published as CST-53-88)
  
• E.U. Postgraduate Exam Questions in Computation Theory
  D. Sannella
  LFCS report ECS-LFCS-88-64
  
• Co-Induction in Relational Semantics
  R. Milner and M. Tofte
  LFCS report ECS-LFCS-88-65
  
• Computational Lambda-Calculus and Monads
  E. Moggi
  LFCS report ECS-LFCS-88-66
  
• An Equational Formulation of LF
  R. Harper
  LFCS report ECS-LFCS-88-67
  
• The Design and Implementation of an Interactive Proof Editor
  B. Ritchie
  LFCS report ECS-LFCS-88-68 (also published as CST-57-88)
  
• A Natural Deduction treatment of Operational Semantics
  R Burstall and F. Honsell
  LFCS report ECS-LFCS-88-69
  
• Using Constructions as a Metalanguage
  Paul Taylor
  LFCS report ECS-LFCS-88-70