primitive recursive function - Spanish English Dictionary