Mutual General Recursion in Type Theory
Report, 2002
Author
Ana Bove
Chalmers, Department of Computing Science, Programming Logic
Subject Categories (SSIF 2011)
Computer Science