First Steps Towards Cumulative Inductive Types in CIC.

Amin Timany, Bart Jacobs

Browse the full ICTAC paper archive.