[TYPES] question (cont.)

[Vladimir Voevodsky]

[ The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list ]

Sorry, I forgot to mention that there is also induction. V.