nLab
intensional type theory (history)

December 13, 2011

• Current (diff)
  by Urs Schreiber at December 13, 2011 00:54:38 from 82.169.65.155
• Revision 4 (diff)
  by Mike Shulman at December 13, 2011 00:39:45 from 71.136.253.8

December 6, 2011

• Revision 3 (diff)
  by Urs Schreiber at December 6, 2011 11:39:16 from 131.174.41.63

November 18, 2011

• Revision 2 (diff)
  by Urs Schreiber at November 18, 2011 02:04:54 from 217.232.18.193

November 17, 2011

• Revision 1
  by Urs Schreiber at November 17, 2011 18:37:16 from 131.220.133.61