Subject
General Computer Science,Theoretical Computer Science
Reference21 articles.
1. Domain Theory;Abramsky,1994
2. Domain Theory in Logical Form;Abramsky;Annals of Pure and Applied Logic,1991
3. A Final Coalgebra Theorem;Aczel,1989
4. Terminal coalgebras in well-founded set theory;Barr;Theor. Comp. Sci,1993