Author:
Alessi F.,Baldan P.,Honsell F.
Publisher
Springer Berlin Heidelberg
Reference19 articles.
1. Samson Abramsky. Total vs. partial object and fixed points of functors. Unpublished Manuscript, 1985.
2. Samson Abramsky. A Cook's tour of the finitary non-well-founded sets. Talk delivered at BTCS Colloquium, 1988.
3. Samson Abramsky. A domain equation for bisimulation. Information and Computation, 92(2):161–218, 1991.
4. Samson Abramsky. Domain theory in logical form. Annals of Pure and Applied Logic, 51:1–77, 1991.
5. F. Alessi, P. Baldan and F. Honsell. Partializing Stone Spaces using SFP domains. Technical Report. University of Udine.
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献