Spahn internal type theory and nonstandard type theory (history)

August 7, 2012

• Current (diff)
  by Stephan Alexander Spahn? on August 7, 2012 at 14:38:40.

August 6, 2012

• Revision 1
  by Stephan Alexander Spahn? on August 6, 2012 at 12:49:17.