Towards a theory of document structure

zbMATH Open1195.68037MaRDI QIDQ3400633FDOQ3400633

Authors: Bengt Nordström 

Publication date: 5 February 2010

Recommendations

• Narrative Structure of Mathematical Texts
• scientific article; zbMATH DE number 559219
• An approach to literate and structured formal developments
• Derivation of a parsing algorithm in Martin-Löf's theory of types
• Cut and paste

zbMATH Keywords

abstract syntax tree

Mathematics Subject Classification ID

Data structures (68P05)

Cited In (6)

• The structure of content is not transparent
• Container model
• Narrative Structure of Mathematical Texts
• Title not available (Why is that?)
• Hazelnut: a bidirectionally typed structure editor calculus
• Title not available (Why is that?)

This page was built for publication: Towards a theory of document structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3400633)