Report

Ashcroft, E. A. and Wadge, W. W. (1976) Lucid, a nonprocedural language with iteration. Coventry, UK: Department of Computer Science..

Lehmann, D. J. (1976) Algebraic structures for transitive closure. Coventry, UK: Department of Computer Science..

Lehmann, D. J. (1976) Categories for fixpoint semantics. Coventry, UK: Department of Computer Science..

Park, D. M. R. (1976) The Y-combinator in Scott's lambda-calculus models. Coventry, UK: Department of Computer Science..

Paterson, Michael S. (1976) New bounds for formula size. Coventry, UK: Department of Computer Science..

Smyth, M. B. (1976) Category-theoretic solution of recursive domain equations. Coventry, UK: Department of Computer Science..

Smyth, M. B. (1976) Powerdomains. Coventry, UK: Department of Computer Science..