skip to main content
Show Results with:

1 results  for Everything in this catalogue

Result Number Material Type Add to My Shelf Action Record Details and Options
Material Type:
Add to My workspace

Contextual equivalence for higher-order #pi#-calculus revisited / Alan Jeffrey, Julian Rathke.

Alan Jeffrey

Brighton : University of Sussex, Computer Science, 2002.

Check library holdings

2 related resources

1 results  for Everything in this catalogue

Refine Search Results

Try a new search

Ignore my search and look for everything

by this Author/Contributor:

  1. University of Sussex, Computer Science
  2. Rathke, Julian.
  3. Jeffrey, Alan.

Searching Remote Databases, Please Wait