Author:
Castro Pablo F.,Aguirre Nazareno,López Pombo Carlos Gustavo,Maibaum Tom
Publisher
Springer Berlin Heidelberg
Reference25 articles.
1. Abrial, J.-R.: The B-Book, Assigning Programs to Meanings. Cambridge University Press (1996)
2. Barr, M., Wells, C.: Category Theory for Computer Science, Centre de Recherches Mathématiques, Université de Montréal (1999)
3. Lecture Notes in Computer Science;H. Baumeister,2000
4. Bérnabou, J.: Introduction to bicategories. In: Complementary Definitions of Programming Language Semantics. LNM, vol. 42. Springer (1967)
5. Borceux, F.: Handbook of Categorical Algebra: Volume 1: Basic Category Theory. Enc. of Mathematics and its Applications. Cambridge University Press (1994)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献