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

by Masahito Hasegawa
Venue:Higher-Order and Symbolic Computation