Finding Fixed Point Combinators Using Prolog

Richard Rankin, Ralph W. Wilkerson. Finding Fixed Point Combinators Using Prolog. In Proceedings of the 1993 ACM/SIGAPP Symposium on Applied Computing. pages 604-608, 1993. [doi]

Abstract

Abstract is missing.