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