skip to main content
Show Results with:

Combining the typed #lambda#-calculus with CCS.

W Ferreira

University of Sussex, Computer Science, 1996.

Check library holdings

Document Supply 7623.617100 SU-CS--2/96 Shelfmark(s)

Searching Remote Databases, Please Wait