Author： Ehrig H. Große-Rhode M. Wolter U.
Publisher： Springer Publishing Company
ISSN： 0927-2852
Source： Applied Categorical Structures, Vol.6, Iss.1, 1998-03, pp. : 1-35
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
Topology, domain theory and theoretical computer science
By Mislove M.W.
Topology and its Applications, Vol. 89, Iss. 1, 1998-11 ,pp. :
Access to resources
Recommend
On the Power of Higher-Order Algebraic Specification Methods
Information and Computation, Vol. 124, Iss. 1, 1996-01 ,pp. :
The Development and Prospects for Category Theory
By Mac Lane S.
Applied Categorical Structures, Vol. 4, Iss. 2-3, 1996-09 ,pp. :
The algebraic theory of the fundamental germ
By Gendron T.
Bulletin of the Brazilian Mathematical Society, Vol. 37, Iss. 1, 2006-03 ,pp. :