nLab Jeffery Zucker

Selected writings

Selected writings

On the formalization of mathematical structures in Automath via type telescopes:

  • Jeffery Zucker, Formalization of Classical Mathematics in Automath, Colloques Internationaux du Centre National de la Recherche Scientifique 249 (1975) 135-145 [web, pdf]

    also in: Studies in Logic and the Foundations of Mathematics 133 (1994) 127-139 [doi:10.1016/S0049-237X(08)70202-7]

category: people

Created on January 26, 2023 at 11:06:08. See the history of this page for a list of all contributions to it.