skip to main content
Show Results with:

2 results  for Everything in this catalogue

Refined by: subject: Computer software remove creation date: 1995To2000 remove author: Ferreira, W. remove
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Book
Add to My workspace

Towards a semantic theory of CML.

W Ferreira

University of Sussex, School of Cognitive and Computing Science, 1995.

Check library holdings

2
Material Type:
Book
Add to My workspace

Combining the typed #lambda#-calculus with CCS.

W Ferreira

University of Sussex, Computer Science, 1996.

Check library holdings

2 results  for Everything in this catalogue

Refine Search Results

Creation date 

From To

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. Hennessy, M.
  2. Ferreira, W.
  3. University of Sussex, Computer Science
  4. University of Sussex. Department of Informatics.
  5. Jeffrey, A S A.

Searching Remote Databases, Please Wait