In a functional approach, XML data is typed as functions. We introduce a version of the typed lambda-calculus (with tagged terms) as a framework for manipulating typed XML data.
