Towards an Induction Principle for Nested Data Types.

Peng Fu, Peter Selinger

Browse the full WoLLIC paper archive.