# zbMATH — the first resource for mathematics

Theorem proving in higher order logics. 10th international conference, TPHOLs ’97. Murray Hill, NJ, USA. August 19–22, 1997. Proceedings. (English) Zbl 0870.00024
Lecture Notes in Computer Science. 1275. Berlin: Springer. viii, 339 p. (1997).
The articles of this volume will be reviewed individually.
Indexed articles:
Dowek, Gilles, Proof normalization for a first-order formulation of higher-order logic, 105-119 [Zbl 0905.03036]
Hirschkoff, Daniel, A full formalisation of $$\pi$$-calculus theory in the calculus of constructions, 153-169 [Zbl 0883.03012]
Mohri, Takahisa, On formalization of bicategory theory, 199-214 [Zbl 0897.18003]
Slind, Konrad, Derivation and use of induction schemes in higher-order logic, 275-290 [Zbl 0890.03005]

##### MSC:
 00B25 Proceedings of conferences of miscellaneous specific interest 03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations 68-06 Proceedings, conferences, collections, etc. pertaining to computer science
Full Text: