Universal type

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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