Formalising Mathematics in Simple Type Theory
Book chapter in Synthese Library (November 2019)
The most recent citing publications are shown below. View all 12 publications that cite this research output on Dimensions.
Book chapter in Synthese Library (November 2019)
Article in Journal of Symbolic Computation (January 2019)
Article in Journal of Automated Reasoning (March 2018)