Proof normalization for a first-order formulation of higher-order logic (1997)

by G Dowek
Venue:of Lecture Notes in Computer Science