Mutual General Recursion in Type Theory
Report, 2002

Author

Ana Bove

Chalmers, Department of Computing Science, Programming Logic

Subject Categories

Computer Science

More information

Created

10/6/2017