A Representable Approach to Finite Nondeterminism
暂无分享,去创建一个
[1] S. Lack,et al. Introduction to extensive and distributive categories , 1993 .
[2] Furio Honsell,et al. Uncountable Limits and the lambda Calculus , 1995, Nord. J. Comput..
[3] Edmund Robinson,et al. Premonoidal categories and notions of computation , 1997, Mathematical Structures in Computer Science.
[4] Ross Street,et al. Yoneda structures on 2-categories , 1978 .
[5] Gordon D. Plotkin,et al. A Powerdomain Construction , 1976, SIAM J. Comput..
[6] Eugenio Moggi,et al. Computational lambda-calculus and monads , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
[7] M. Barr,et al. Toposes, Triples and Theories , 1984 .
[8] Alex K. Simpson,et al. The Convex Powerdomain in a Category of Posets Realized by CPOs , 1995, Category Theory and Computer Science.
[9] Gordon D. Plotkin,et al. Type theory and recursion , 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
[10] G. Plotkin,et al. A Cook's Tour of Countable Nondeterminism , 1981 .