Towards a Theory of Document Structure
Book chapter, 2009

The structure of documents of various degree of formality, from scientific papers with layout information and programs with their documentation to completely formal proofs can be expressed by assigning a type to the abstract syntax tree of the document. By using dependent types – an idea from type theory – it is possible to express very strong syntactic criterion on wellformedness of documents. This structure can be used to automatically generate parsers, type checkers and structure oriented editors.

concrete syntax

document structure

type theory

abstract syntax




Bengt Nordström

Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)

From Semantics to Computer Science


Subject Categories

Computer Science



More information

Latest update

9/7/2020 8