[TYPES] question (cont.)
Vladimir Voevodsky
vladimir at ias.edu
Thu Jul 19 10:44:47 EDT 2012
Previous message:
[TYPES] a question
Next message:
[TYPES] question (cont.)
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
Sorry, I forgot to mention that there is also induction. V.
Previous message:
[TYPES] a question
Next message:
[TYPES] question (cont.)
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the Types-list mailing list