This paper examines a much overlooked link between credit markets and formalization: since access to bank credit typically requires compliance with tax and employment legislation, firms are more likely to incur such formalization costs once bank credit is more widely available at lower cost; if...