Sketches and Parametrization
暂无分享,去创建一个
[1] M. Barr,et al. Toposes, Triples and Theories , 1984 .
[2] Carla Limongelli,et al. Design and Implementation of Symbolic Computation Systems , 1991, Lecture Notes in Computer Science.
[3] Richard D. Jenks,et al. AXIOM: the scientific computation system , 1992 .
[4] Michael Barr,et al. Category theory for computing science , 1995, Prentice Hall International Series in Computer Science.
[5] S. Lane. Categories for the Working Mathematician , 1971 .
[6] C. Lair,et al. Leçons de théorie des esquisses , 1984 .
[7] Oskar Permwall. A bibliography on sketches from the computer science point of view , 1991 .