Talk:Sort

Type theory
Hello, 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)