**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*