A proof theoretic characterization of the Kalmar elementary functions Publikasjonsdetaljer Journal: Technical Report Department of Informatics, Monday 1. January 1996 Du er her: Hjem Publikasjoner Fagartikkel A proof theoretic characterization of the Kalmar elementary functions