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

Cached

Download Links

by Dusko Pavlovic
Citations:27 - 14 self