Discussão:Teoria dos tipos
Adicionar tópicoAspeto
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)