Higher dimensional formal loop spaces