Dynamic Algebras and the Nature of Induction

Vaughan R. Pratt

Browse the full STOC paper archive.