A proof theoretic characterization of the Kalmar elementary functions Publication details Journal: Technical Report Department of Informatics, Monday 1. January 1996 You are here: Home Publications Article journal A proof theoretic characterization of the Kalmar elementary functions