Use of cut to obtain a characterization of the Kalmar elementary functions

Publication details

  • Journal: Technical Report Department of Informatics, Wednesday 1. January 1997