A Mechanization of Type Theory

Huet. "A Mechanization of Type Theory." International Joint Conference on Artificial Intelligence, 1973.

[Huet. "A Mechanization of Type Theory." International Joint Conference on Artificial Intelligence, 1973.](https://mlanthology.org/ijcai/1973/huet1973ijcai-mechanization/)

@inproceedings{huet1973ijcai-mechanization,
  title     = {{A Mechanization of Type Theory}},
  author    = {Huet, Gérard P.},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1973},
  pages     = {139-146},
  url       = {https://mlanthology.org/ijcai/1973/huet1973ijcai-mechanization/}
}