Creating a type system for a family of assembly languages

We create a formal type system for a family of assembly languages, we also formally define commands, programs and terms of the language. We show that type inhabitance and type checking problems can be solved within the system for a language with mov and jz commands.