Positive Inductive-Recursive Definitions.

Neil Ghani, Lorenzo Malatesta, Fredrik Nordvall Forsberg

Browse the full CALCO paper archive.