src.bib

@article{ross1925aristotle,
  title={Aristotle's metaphysics},
  author={Ross, William D and others},
  year={1925}
}
@article{hintikka1955two,
  title={Two Papers on Symbolic Logic Form and Content in Quantification Theory and Reductions in the Theory of Types},
  author={Hintikka, Jaakko},
  year={1955}
}
@INPROCEEDINGS{Werner97setsin,
    author = {Benjamin Werner},
    title = {Sets in Types, Types in Sets},
    booktitle = {Proceedings of TACS'97},
    year = {1997},
    pages = {530--546},
    publisher = {Springer-Verlag}
}
@InCollection{sep-logic-higher-order,
	author       =	{Enderton, Herbert B.},
	title        =	{Second-order and Higher-order Logic},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	howpublished =	{\url{https://plato.stanford.edu/archives/fall2015/entries/logic-higher-order/}},
	year         =	{2015},
	edition      =	{Fall 2015},
	publisher    =	{Metaphysics Research Lab, Stanford University}
}
@InCollection{sep-type-theory,
	author       =	{Coquand, Thierry},
	title        =	{Type Theory},
	booktitle    =	{The Stanford Encyclopedia of Philosophy},
	editor       =	{Edward N. Zalta},
	howpublished =	{\url{https://plato.stanford.edu/archives/sum2015/entries/type-theory/}},
	year         =	{2015},
	edition      =	{Summer 2015},
	publisher    =	{Metaphysics Research Lab, Stanford University}
}