An Approach to Theorem Proving on the Basis of a Typed Lambda-Calculus.

Rob Nederpelt

Browse the full CADE paper archive.