Axioms for recursion in call-by-value (2002)

by M Hasegawa, Y Kakutani
Venue:Higher-Order and Symbolic Computation