Generalised Simultaneous Inductive-Recursive Definitions and their Application to Programming in Type Theory
Report, 2002
Author
Ana Bove
Chalmers, Department of Computing Science, Programming Logic
Subject Categories (SSIF 2011)
Computer Science