Erik Demaine's lectures are a nice place to start if you are into formal geometric folding theory: http://erikdemaine.org/classes/