Author:
Vinh Phan Cong,Thanh Tung Nguyen,Van Phuc Nguyen,Hai Thanh Nguyen
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Barbosa, L.S.: Components as Processes: An Exercise in Coalgebraic Modeling. In: Smith, S.F., Talcott, C.L. (eds.) 4th International Conference on Formal Methods for Open Object-Based Distributed Systems, IFIP TC6/WG6.1, Stanford, CA, USA, September 6-8, pp. 397–417. Kluwer Academic Publishers (2000)
2. Cockett, R., Spencer, D.: Strong Categorical Datatypes I. In: Seely, R.A.G. (ed.) International Summer Meeting on Category Theory, Montréal, Québec, Canada, June 23-30, pp. 141–169. AMS Canadian Mathematical Society (1991)
3. Lecture Notes in Computer Science;T. Hagino,1987
4. Jacobs, B., Rutten, J.: A Tutorial on (Co)Algebras and (Co)Induction. Bulletin of EATCS 62, 222–259 (1997)
5. Kieburtz, R.B.: Reactive Functional Programming. In: Gries, D., de Roever, W.P. (eds.) Programming Concepts and Methods (PROCOMET), IFIP International Federation for Information Processing, Shelter Island, NY, USA, June 8-12, pp. 263–284. Chapman and Hall (1998)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献