Obrigado Fernando Yamauti.
A pergunta sobre "teoria dos tipos" é genérica, mas sua resposta é ampla.
W.
Em 20 de dezembro de 2017 00:10, Fernando Yamauti
escreveu:
> As referências em https://ncatlab.org/nlab/show/pure+type+system caso busque
> o mais geral possível. Para algo mais básico,
As referências em https://ncatlab.org/nlab/show/pure+type+system caso
busque o mais geral possível. Para algo mais básico, acho melhor começar
com untyped lambda cálculo, algo como em
http://www.cse.chalmers.se/research/group/logic/TypesSS05/Extra/geuvers.pdf
ou no livro do Barendregt, e entender a
Impressionante esse site.
Muito obrigado Thanos!
Carlos
2017-12-19 18:16 GMT-02:00 Thanos Tsouanas :
> Oi Walter,
>
> On Tue, Dec 19, 2017 at 06:07:12PM -0200, Walter Alexandre Carnielli wrote:
> > Isso ja deve ter sido discutido aqui, mas agradeceria se me sugerissem
> > textos introdutório
Muito obrigado, Thanos!
Abracos,
Walter
>
> Oi Walter,
>
>> On Tue, Dec 19, 2017 at 06:07:12PM -0200, Walter Alexandre Carnielli wrote:
>> Isso ja deve ter sido discutido aqui, mas agradeceria se me sugerissem
>> textos introdutórios sobre Teoria de Tipos, para uso com estudantes
>> avancados
Oi Walter,
On Tue, Dec 19, 2017 at 06:07:12PM -0200, Walter Alexandre Carnielli wrote:
> Isso ja deve ter sido discutido aqui, mas agradeceria se me sugerissem
> textos introdutórios sobre Teoria de Tipos, para uso com estudantes
> avancados de
> graduação,
https://github.com/jozefg/learn-tt
Car@s,
Isso ja deve ter sido discutido aqui, mas agradeceria se me sugerissem
textos introdutórios sobre Teoria de Tipos, para uso com estudantes avancados
de
graduação,
Abraços,
Walter
--
Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos
Grupos do Google.
Pa