Chris Hankin / Jo O. Rasga / Jo ORasga
Librería Samer Atenea
Librería Aciertas (Toledo)
Kálamo Books
Librería Perelló (Valencia)
Librería Elías (Asturias)
Donde los libros
Librería Kolima (Madrid)
Librería Proteo (Málaga)
O cálculo lambda é um dos pilares da ciência da computação. Para alému2028do seu papel histórico em teoria da computabilidade, teve influênciau2028significativa no desenho e implementação de linguagens de programação,u2028em semântica denotacional, e em teoria de domínios. O livro dá ênfaseu2028à teoria da demonstração do cálculo lambda sem tipos. Os primeirosu2028capítulos concentram-se neste cálculo e abordam a teoria básica,u2028reduções, modelos, computabilidade e o relacionamento entre o cálculou2028lambda e a lógica combinatória. O Capítulo 7 introduz o cálculo lambdau2028com tipos: primeiro o cálculo lambda simplesmente tipificado, deu2028seguida com o polimorfismo à Milner e, por último, o cálculo lambdau2028polimórfico. O Capítulo 9 apresenta versões mais recentes do cálculou2028lambda sem tipos: o cálculo lambda preguiçoso e o cálculo lambdau2028sigma. O último capítulo contém referências e um guia para leiturau2028ulterior. Os exercícios vão sendo propostos ao longo do livro. Emu2028contraste com livros anteriores sobre estes tópicos, que foramu2028escritos por lógicos, este livro é escrito do ponto de vista dau2028ciência da computação e realça o significado prático de muitas dasu2028ideias chave. O livro assume-se como livro de texto para o último anou2028de graduação ou para o primeiro ano de pós-graduação em ciência dau2028computação. Os estudantes de investigação poderão usá-lo como umau2028introdução à literatura mais especializada da área.u2028
