Autarkic computations in formal proofs (0)

by H Barendregt, E Barendsen
Venue:Journal of Automated Reasoning