Categorical semantics for arrows

Bibliographic Details
Main Authors: Jacobs, B, Heunen, C, Hasuo, I
Format: Journal article
Published: 2009