An Algebraic Formulation for Data Refinement
暂无分享,去创建一个
[1] John W. Gray,et al. Formal category theory: adjointness for 2-categories , 1974 .
[2] G. M. Kelly,et al. Two-dimensional monad theory , 1989 .
[3] Tony Hoare,et al. Data Refinement in a Categorical Setting , 1987 .
[4] G. M. Kelly,et al. A presentation of topoi as algebraic relative to categories or graphs , 1983 .
[5] P. Gabriel,et al. Lokal α-präsentierbare Kategorien , 1971 .
[6] M. Barr,et al. Toposes, Triples and Theories , 1984 .