skip to main content
Show Results with:

Categorical logic of names and abstraction in action calculi.

Dusko Pavlović

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

Check library holdings

Searching Remote Databases, Please Wait