nLab
pure type system (history)

April 22, 2012

• Current (diff)
  by Mike Shulman at April 22, 2012 14:25:18 from 71.136.234.110

January 25, 2012

• Revision 2 (diff)
  by Mike Shulman at January 25, 2012 22:53:02 from 71.136.231.206

September 27, 2010

• Revision 1
  by Gábor Braun? at September 27, 2010 15:54:33 from 109.61.15.36