[TYPES] question (cont.)

Vladimir Voevodsky vladimir at ias.edu
Thu Jul 19 10:44:47 EDT 2012


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


More information about the Types-list mailing list