Knowtex

38785 liens
  • 41701

    Type Theory: A Modern Computable Paradigm for Math - S4A

    In 2013, three dozens of today's brightest minds have laid out new foundations of mathematics, which better fits both informal and computationally-checkable mathematics. Have a primer of this upcoming revolution, with this article on type theory, the theory that the book builds upon!

    • Laisser un commentaire :

      Connectez-vous pour laisser un commentaire.

    Demande de confirmation

    Etes-vous sûr de vouloir continuer ?