A mechanization of type theory

Author(s)

    • Huet, Gerard P.

Bibliographic Information

A mechanization of type theory

Gerard P. Huet

（Laboratoire de recherche en informatique et automatique, Rapport de Recherche no 9）

Institut de Recherche d'Informatique et d'Automatique, 1973

Available at  / 1 libraries

Search this Book/Journal

Note

Includes bibliographical references

Related Books： 1-1 of 1

Details

  • NCID
    BC12391242
  • Country Code
    fr
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Le Chesnay
  • Pages/Volumes
    iv, 26 leaves
  • Size
    30 cm
  • Parent Bibliography ID
Page Top