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

Searching Remote Databases, Please Wait