Abstract
In his paper [Grz05], Andrzej Grzegorczyk introduces a theory of concatenation
TC. We show that TC does not define pairing. We determine
a reasonable extension of TC that is sequential, i.e., has a good sequence
coding.
