Revisão das 20h01min de 29 de janeiro de 2010 editar QuarkAWB (discussão \| contribs) 5 065 edições m corrigindo afluente + ajustes, utilizando AWB ← Ver a alteração anterior		Revisão das 13h01min de 21 de abril de 2010 editar desfazer SieBot (discussão \| contribs) 291 845 edições m Bot: Adicionando: es:Teoría de tipos Ver a alteração posterior →
Linha 66: [[en:Type theory]] [[eo:Teorio de tipoj]] [[es:Teoría de tipos]] [[fa:نظریه نوع‌ها]] [[fr:Théorie des types]]

Teoria dos tipos: diferenças entre revisões