Introdu O Ao C Lculo Lambda baixar o livro de graça

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.