Author:
Corradini Andrea,Große-Rhode Martin,Heckel Reiko
Subject
General Computer Science,Theoretical Computer Science
Reference38 articles.
1. Non-Well-Founded Sets;Aczel,1988
2. Bisimulation can't be traced;Bloom;J. ACM,1995
3. A 2-categorical approach to change of base and geometric morphisms I;Carboni;Cahiers Topologie Geom. Differentielle Categoriques,1991
4. A. Corradini, A. Asperti, A categorical model for logic programs: indexed monoidal categories, in: J.W. de Bakker, W.-P. de Roever, G. Rozenberg (Eds.), [9], 1993.
5. A. Corradini, F. Gadducci, A 2-categorical presentation of term graph rewriting, in: E. Moggi, G. Rosolini (Eds.), Category Theory and Computer Science (CTCS’97), Lecture Notes in Computer Science, Vol. 1290, Springer, Berlin, 1997
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献