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