ML Anthology

Theorem Proving in Type Theory

Peter B. Andrews, Eve Longini Cohen
IJCAI 1977 pp. 566
/ijcai/1977/andrews1977ijcai-theorem/
PDF Semantic Scholar

Cite

Text

Andrews and Cohen. "Theorem Proving in Type Theory." International Joint Conference on Artificial Intelligence, 1977.

Markdown

[Andrews and Cohen. "Theorem Proving in Type Theory." International Joint Conference on Artificial Intelligence, 1977.](https://mlanthology.org/ijcai/1977/andrews1977ijcai-theorem/)

BibTeX

@inproceedings{andrews1977ijcai-theorem,
  title     = {{Theorem Proving in Type Theory}},
  author    = {Andrews, Peter B. and Cohen, Eve Longini},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1977},
  pages     = {566},
  url       = {https://mlanthology.org/ijcai/1977/andrews1977ijcai-theorem/}
}