Autarkic computations in formal proofs (0)

by Henk Barendregt, Erik Barendsen
Venue:J. Autom. Reasoning