我们开发了一个具有工人和企业异质性的非正式劳动力市场的搜索模型，不同类型工人之间具有不完全替代性的公司内部谈判，以及包括最低工资在内的一套全面的劳动法规。与非正式部门相关的程式化事实，如较小的公司和较低的工资，在公司和工人决定是否遵守规定时内生地出现。不同类型工人的不完善可替代性和规模回报率的递减使该模型能够再现与文献中现有框架不兼容的经验模式:正规和非正规部门中技术工人和非技术工人的存在，企业规模中技术工人的份额上升，以及技术水平下的正式工资溢价下降。这些特征也使我们能够分析不同类型劳动的需求和供给变化的均衡反应。我们使用巴西的数据对模型进行了估计，并表明它很好地再现了2003年至2012年间观察到的非正式性下降。劳动力构成的变化似乎是这一现象背后的主要驱动力。我们通过评估累进工资税在减少非正式性方面的有效性来说明政策分析模型的使用。