Abstractions of uniform proofs
scientific article