BooksRock.com - Kids Books At Amazing Low Prices!

O c lculo lambda um dos pilares da ci ncia da computa o. Para al m
do seu papel hist rico em teoria da computabilidade, teve influ ncia
significativa no desenho e implementa o de linguagens de programa o,
em sem ntica denotacional, e em teoria de dom nios. O livro d nfase
 teoria da demonstra o do c lculo lambda sem tipos. Os primeiros
cap tulos concentram-se neste c lculo e abordam a teoria b sica,
redu es, modelos, computabilidade e o relacionamento entre o c lculo
lambda e a l gica combinat ria. O Cap tulo 7 introduz o c lculo lambda
com tipos: primeiro o c lculo lambda simplesmente tipificado, de
seguida com o polimorfismo Milner e, por ltimo, o c lculo lambda
polim rfico. O Cap tulo 9 apresenta vers es mais recentes do c lculo
lambda sem tipos: o c lculo lambda pregui oso e o c lculo lambda
sigma. O ltimo cap tulo cont m refer ncias e um guia para leitura
ulterior. Os exerc cios v o sendo propostos ao longo do livro. Em
contraste com livros anteriores sobre estes t picos, que foram
escritos por l gicos, este livro escrito do ponto de vista da
ci ncia da computa o e real a o significado pr tico de muitas das
ideias chave. O livro assume-se como livro de texto para o ltimo ano
de gradua o ou para o primeiro ano de p s-gradua o em ci ncia da
computa o. Os estudantes de investiga o poder o us -lo como uma
introdu o literatura mais especializada da rea.