Skip to content Skip to navigation
University of Warwick
  • Study
  • |
  • Research
  • |
  • Business
  • |
  • Alumni
  • |
  • News
  • |
  • About

University of Warwick
Publications service & WRAP

Highlight your research

  • WRAP
    • Home
    • Search WRAP
    • Browse by Warwick Author
    • Browse WRAP by Year
    • Browse WRAP by Subject
    • Browse WRAP by Department
    • Browse WRAP by Funder
    • Browse Theses by Department
  • Publications Service
    • Home
    • Search Publications Service
    • Browse by Warwick Author
    • Browse Publications service by Year
    • Browse Publications service by Subject
    • Browse Publications service by Department
    • Browse Publications service by Funder
  • Help & Advice
University of Warwick

The Library

  • Login
  • Admin

Browse by Funders

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Author | Item Type | No Grouping
Jump to: A | K | L | M | S | W
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)

This list was generated on Sat Jun 3 12:31:27 2023 BST.
twitter

Email us: wrap@warwick.ac.uk
Contact Details
About Us