Factorisation of the Factorial -- an example of inverting the flow of computation
Eerke Boiten · Kent Academic Repository (University of Kent) · 1992
Condensed version of the /pubs/1990/165 and PhD thesis chapter, including aspects of /pubs/1992/159/ Presented at Seminar on Formal Techniques in Programming Technology, G''od, Hungary, September 3-6, 1990.