PaperA Formal Approach to Undo Operations in Programming LanguagesGeorge B. LeemanACM Transactions on Programming Languages and Systems (TOPLAS)
PaperA new proof for an inequality of jenkinsGeorge B. LeemanProceedings of the American Mathematical Society
PaperThe seventh coefficient of odd symmetric univalent functionsGeorge B. LeemanDuke Mathematical Journal