Publisher
Springer International Publishing
Reference17 articles.
1. Abramsky, S., Jung, A.: Domain theory. In: Abramsky, S., Gabbay, D.M., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol. III, pp. 1–168. Oxford University Press (1994)
2. Battenfeld, I.: Computational effects in topological domain theory. Electron. Notes Theor. Comput. Sci. 158, 59–80 (2006)
3. Prentice-Hall Series in Computer Science;B Bird,1998
4. Ehrhard, T., Tasson, C., Pagani, M.: Probabilistic coherence spaces are fully abstract for probabilistic PCF. In: Jagannathan, S., Sewell, P. (eds.) Proceedings of 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2014), pp. 309–320 (2014)
5. Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.S.: Continuous Lattices and Domains, Encyclopedia of Mathematics and its Applications, vol. 93. Cambridge University Press, Cambridge (2003)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. (Towards a) Statistical Probabilistic Lazy Lambda Calculus;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023