Axioms for Recursion in Call-by-Value, Higher-Order Symb (0)

by M Hasegawa, Y Kakutani
Venue:Comput