This paper is concerned with the unilateral contact problem in linear elasticity. We define two a posteriori error estimators of residual type to evaluate the accuracy of the mixed finite element approximation of the contact problem.Upper and lower bounds of the discretization error are proved forboth estimators and several computations are performed toillustrate the theoretical results.