Disambiguation | ||||
|
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)
Disambiguation | ||||
|
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)Reply