We study contact problems with contact models of normal compliance type, where the compliance function tends to infinity for a given finite interpenetration. For the static problem without friction we prove the existence and uniqueness of solutions, for static problem with Coulomb friction the existence of a solution is shown.