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