 | This disambiguation page does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | |||||||
| ||||||||
Type theory
editHello, does anyone know if there is an article on "sorts" in the context of type theory? A redirect would be much appreciated. Thanks, 65.183.135.231 (talk) 20:47, 12 March 2009 (UTC)