and Yoshihiko Kakutani. Axioms for recursion in call-by-value (2002)

by Masahito Hasegawa
Venue:Higher-Order and Symbolic Computation