You are currently offline. Some features of the site may not work correctly.
Kind (type theory)
Known as: Higher kind, Higher-kinded type, Higher-kind
In the area of mathematical logic and computer science known as type theory, a kind is the type of a type constructor or, less commonly, the type of… Expand