Marius Grøndahl: Type Systems: Bilateral
Marius Grøndahl: Type Systems: Grid
Marius Grøndahl: Type Systems: Radial
Marius Grøndahl: Type Systems: Transitional
Marius Grøndahl: Type Systems: Random
Marius Grøndahl: Type Systems: Dilatational