Universal type

In type theory universal type(s) may refer to:

The top type in a type system with subtyping.
Universal types is a shorthand for universally quantified types in systems that support parametric polymorphism like System F.

Template:Disambiguation page short description <templatestyles src="Dmbox/styles.css" />

This disambiguation page lists Template:Title disambig text Script error: No such module "Namespace detect". associated with the title Template:PAGENAMEBASE.
If an internal link led you here, you may wish to change the link to point directly to the intended article.

__DISAMBIG__Template:Category handler

Universal type

Navigation menu

Search