I propose an axiomatization of dynamically created, Unix-like threads using parameterized algebraic theories, an extension of algebraic theories that allows for binding. I will discuss a tentative operational semantics for threads, highlighting some directions for future work which include studying trace equivalence and normal form bisimulation.