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