Discussão:Teoria dos tipos

Fiquei em dúvida nas seguites espressões:

• ... type theory proponents commonly proclaim that the design of type systems ...
• ... os proponentes da teoria dos tipos argumentam que o projeto de sistemas de tipos ...

• ... is the very essence ...
• ... é a própria essência ...

• constructive logic
• lógica construtivista

Se alguém tiver uma tradução melhor, sinta-se à vontade. :)

BTW, onde está a versão o original deste artigo?

--Terceiro 22:42, 23 Agosto 2005 (UTC)