Categorical Logic of Names and Abstraction in Action Calculi (1993)

Cached

Download Links

by Dusko Pavlovic
Citations:21 - 9 self

Document Versions

Categorical Logic of Names and Abstraction in Action Calculi –Dusko Pavlovic — 1993