1 result

• 1type-systems
• 1maths

1. From Set Theory to Type Theory

   golem.ph.utexas.edu

   • maths
   • type-systems