Formal models. core calculi. and type systems. are important tools for rigorously stating the more subtle details of a language. https://missouriquiltcoes.shop/product-category/work-stations/