primitive recursive function - German English Dictionary