Abstract
We formulate a type system to describe XML-data in a set- and function-oriented manner. A version of a typed lambda-calculus is used as a framework to manipulate XML data.
The language is extensible with various mathematical functions.
We formulate a type system to describe XML-data in a set- and function-oriented manner. A version of a typed lambda-calculus is used as a framework to manipulate XML data.
The language is extensible with various mathematical functions.
