Variations on Inductive-Recursive Definitions.

Neil Ghani, Conor McBride, Fredrik Nordvall Forsberg, Stephan Spahn

Browse the full MFCS paper archive.