Graham Hutton
目次。 Introduction The fold operator The universal property of fold Universality as a proof principle The fusion property of fold Universality as a definition principle Increasing the power of fold: generating tuples Primitive recursion U…
http://www.cs.nott.ac.uk/~gmh/