Formal specification of topological subdivisions using hypermaps (Q805200)

The paper gives an extensive list of pseudocode specifications (adapted mostly to the database language OBJ3) for the implementation of the ideas of \textit{P. Lienhardt} [Topological models for boundary representation: a comparison with N-dimensional generalized maps, ibid. 23, No.1, 59-82 (1991)] for the representation of combinatorial data and combinatorial operations in 2-dimensional combinatorial topology; the exposition depends heavily on the terminology introduced by Lienhardt for which definitions are not repeated here.