Theorem proving in higher order logics. 10th international conference, TPHOLs '97. Murray Hill, NJ, USA. August 19--22, 1997. Proceedings
The articles of this volume will be reviewed individually. Indexed articles: \textit{Dowek, Gilles}, Proof normalization for a first-order formulation of higher-order logic, 105-119 [Zbl 0905.03036] \textit{Hirschkoff, Daniel}, A full formalisation of \(\pi\)-calculus theory in the calculus of constructions, 153-169 [Zbl 0883.03012] \textit{Mohri, Takahisa}, On formalization of bicategory theory, 199-214 [Zbl 0897.18003] \textit{Slind, Konrad}, Derivation and use of induction schemes in higher-order logic, 275-290 [Zbl 0890.03005]
scientific article; zbMATH DE number 1056997