Subject
Algebra and Number Theory
Reference7 articles.
1. Algebraically complete categories;Freyd,1991
2. P. Freyd, P. Mulry, G. Rosolini, D. Scott, Extensional PERs, in: Proceedings of the Fifth Annual Conference of Logic in Computer Science 1990, LICS 90, pp. 346–354; Information and Computation, vol. 98, Issue 2, June 1992 (Selections from 1990 IEEE Symposium on Logic in Computer Science), pp. 211–227.
3. P. Freyd, Recursive types reduced to inductive types, in: Proceedings of the Fifth Annual Conference of Logic in Computer Science 1990, LICS 90, pp. 498–507.
4. Dinaturality for free;Freyd,1992
5. A small complete category;Hyland;Journal of Pure and Applied Logic,1988