Slide 11 Expressive Power of Safe HORS Examined Through Decomposition of Higher Order Programs to Garbage Free 1 st Order Form Kazuhiro Inaba Joint work with Sebastian Maneth…