Technical Progress in matching models of the labour market has not received serious attention. This article examines the impact on the results of these models when an attempt is made to allow time to enter in a realistic fashion, and finds that recently published results on the possibility of multiple equilibria are overturned. Also, different parametric representations of the matching technology are compared, with problems of more general forms not satisfying regularity conditions being identified. While the possibility of Pareto-improving government intervention due to multiple equilibria arising out of increasing returns to scale cannot be supported, the results suggest a role for government intervention in the labour market.