Gosh, where to begin?
In computer science, one way of providing a semantics for programs is by using infinite trees to model do-loops in finite flow-graphs. Dana Scott is the earliest I recall. Arbib and Manes later on.
A lot of knot theory can be tackled by a similar tack. The literature went legion long ago.