Discussió:Teoria de tipus intuicionista

Teoria de tipus i tipus de teoria

"Teoria de tipus intuicionista" sembla que estiguem parlant d'un tipus de teoria, en comptes d'una teoria sobre tipus. Si no és que hi ha alguna referència en català que l'anomeni de la manera que sigui, crec que estaria bé canviar el títol a "teoria intuicionista de tipus", "teoria dels tipus intuicionista" (com fan a la viquipèdia en portuguès), o una altra forma no ambigua.--Pere prlpz (disc.) 17:04, 17 feb 2015 (CET)