1. A relational approach to strictness analysis for higher-order polymorphic functions;Abramsky,1991
2. Domain theory;Abramsky,1994
3. Non-Well-Founded Sets;Aczel,1988
4. A final coalgebra theorem;Aczel,1989
5. On coalgebra based on classes;Adámek;Theor. Comput. Sci.,2004