Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference33 articles.
1. R. Backhouse, P. Hoogendijk, Elements of a relational theory of datatypes, in: B. Möller, H. Partsch, S. Schuman (Eds.), Formal Program Development. Proc. IFIP TC2/WG 2.1 State of the Art Seminar, Rio de Janeiro, January 1992, LNCS, vol. 755, 1992, pp. 7–42.
2. R.C. Backhouse, Constructive lattice theory, October 1993. .
3. Relational catamorphisms;Backhouse,1991
4. Distributive laws;Beck,1969
5. Comparing two different approaches to products in abstract relation algebra;Berghammer,1994
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献