The Library
Browse by Department at the University of Warwick
Up a level |
Jump to: Report
Number of items: 8.
Report
Ashcroft, Edward A. and Wadge, William W. (1976) Lucid : a formal system for writing and proving programs. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Ashcroft, Edward A. and Wadge, William W. (1976) Lucid, a nonprocedural language with iteration. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Lehmann, Daniel (1976) Algebraic structures for transitive closure. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Lehmann, Daniel (1976) Categories for fixpoint semantics. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Park, David (1976) The Y-combinator in Scott's lambda-calculus models. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Paterson, Michael S. (1976) New bounds for formula size. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Smyth, M. B. (Michael B.) (1976) Category-theoretic solution of recursive domain equations. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Smyth, M. B. (Michael B.) (1976) Powerdomains. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)