Publisher
Springer Berlin Heidelberg
Reference32 articles.
1. Lecture Notes in Computer Science;S.J. Ambler,2002
2. Blackhouse, R., Crole, R.L., Gibbons, J.: Algebraic and Coalgebraic Methods in the Mathematics of Program Construction. LNCS, vol. 2297, p. 281. Springer, Heidelberg (2002)
3. Barr, M., Wells, C.: Toposes, Triples and Theories. Springer, Heidelberg (1985)
4. International Series in Computer Science;M. Barr,1990
5. Crole, R.L.: Categories for Types. Cambridge Mathematical Textbooks, pp. xvii+335. Cambridge University Press (1993) ISBN 0521450926HB, 0521457017PB
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献