Author： Mulry P.S.
Publisher： Elsevier
ISSN： 0304-3975
Source： Theoretical Computer Science, Vol.278, Iss.1, 2002-05, pp. : 257-269
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
An equational notion of lifting monad
By Bucalo A. Fuhrmann C. Simpson A.
Theoretical Computer Science, Vol. 294, Iss. 1, 2003-02 ,pp. :
Access to resources
Recommend
Premonoidal categories as categories with algebraic structure
By Power
Theoretical Computer Science, Vol. 278, Iss. 1, 2002-05 ,pp. :
Analysis of a distributed system for lifting trucks
By Groote J.F. Pang J. Wouters A.G.
Journal of Logic and Algebraic Programming, Vol. 55, Iss. 1, 2003-03 ,pp. :
High-order lifting and integrality certification
Journal of Symbolic Computation, Vol. 36, Iss. 3, 2003-09 ,pp. :
Restriction categories I: categories of partial maps
By Cockett
Theoretical Computer Science, Vol. 270, Iss. 1, 2002-01 ,pp. :