Vend tilbage for at se detaljer om On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction On Computational Small Steps and Big Steps: Refocusing for Outermost Reduction Hent Download PDF