The Correctness of a Modified SECD Machine

Clement L. McGowan

Browse the full STOC paper archive.