
The Library
Browse by Funders
![]() | Up a level |
Number of items: 11.
A
Ashcroft, Edward A. and Wadge, William W. (1980) Structured Lucid. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Ashcroft, Edward A. and Wadge, William W. (1979) Some common misconceptions about Lucid. 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)
K
Kanda, Akira and Park, David (1979) When are two effectively given domains identical? University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
L
Lehmann, Daniel and Smyth, M. B. (1977) Data types. 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)
M
Munro, J. Ian and Paterson, Michael S. (1978) Selection and sorting with limited storage. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
McColl, William Finlay (1977) Some results on circuit depth. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
S
Shamir, Adi and Wadge, William W. (1977) Data types as objects. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
Smyth, M. B. (Michael B.) (1975) Effectively giving domains. University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)
W
Wadge, William W. (1975) A complete natural deduction system for the relational calculus. Coventry, UK: University of Warwick. Department of Computer Science. (Theory of Computation Report). (Unpublished)