Type theory establishes correspondence between theories and models. aka one possible interpretation: hashmaps for matrices/graphs [0] Some applied references/e

Type theory establishes correspondence between theories and models. aka one possible interpretation: hashmaps for matrices/graphs [0] Some applied references/examples can often be found within discussions on designing/implimenting a given programming language (virtual machine, compiled, interpreted). [0] : https://thepalindrome.org/p/matrices-and-graphs https://thepalindrome.org/p/matrices-and-graphs