Book Chapter

Decorated Linear Order Types and the Theory of Concatenation

G RESTALL

Logic Colloquium 2007 | Cambridge University Press | Published : 2010