Ana Bove

Ana Bove. Simple General Recursion in Type Theory. Nordic Journal of Computing, 8(1):22-42, Spring 2001. Abstract, References, etc.