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

Cached

Download Links

by Dusko Pavlovic
Citations:21 - 9 self