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