Representing Program Schemes in Logic

John C. Cherniavsky, Robert L. Constable

Browse the full FOCS paper archive.