[FOM] 'Salvaging' Voevodsky's talk
Steven Awodey
awodey at cmu.edu
Tue Jun 7 11:24:23 EDT 2011
Previous message:
[FOM] 'Salvaging' Voevodsky's talk
Next message:
[FOM] 'Salvaging' Voevodsky's talk
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
>
>
www.homotopytypetheory.com
>
make that homotopytypetheory.org SA
Previous message:
[FOM] 'Salvaging' Voevodsky's talk
Next message:
[FOM] 'Salvaging' Voevodsky's talk
Messages sorted by:
[ date ]
[ thread ]
[ subject ]
[ author ]
More information about the FOM mailing list