ALGEBRAS, THEORIES AND FREENESS: AN INTRODUCTION FOR COMPUTER SCIENTISTS
暂无分享,去创建一个
[1] M. Arbib,et al. Arrows, Structures, and Functors: The Categorical Imperative , 1975 .
[2] James W. Thatcher,et al. Data Type Specification: Parameterization and the Power of Specification Techniques , 1982, TOPL.
[3] Rod M. Burstall,et al. Electronic Category Theory , 1980, MFCS.
[4] Joseph A. Goguen,et al. Initial Algebra Semantics and Continuous Algebras , 1977, J. ACM.
[5] K. Mani Chandy,et al. Current trends in programming methodology , 1977 .
[6] R. Goldblatt. Topoi, the Categorial Analysis of Logic , 1979 .
[7] Robert S. Boyer,et al. The Correctness Problem in Computer Science , 1982 .
[8] Horst Reichel,et al. Initially-Restricting Algebraic Theories , 1980, MFCS.
[9] Joseph A. Goguen,et al. The Semantics of CLEAR, A Specification Language , 1979, Abstract Software Specifications.