Crie uma conta gratuita e continue exatamente desta página.
Crie uma conta gratuita e continue exatamente desta página.
Combinatory logic and lambda-calculus, originally devised in the 1920s, have since developed into linguistic tools, especially useful in programming languages. The authors’ previous book served as the main reference for introductory courses on lambda-calculus for over 20 years: this long-awaited new version is thoroughly revised and offers a fully up-to-date account of the subject, with the same authoritative exposition. The grammar and basic properties of both combinatory logic and lambda-calculus are discussed, followed by an introduction to type-theory. Typed and untyped versions of the systems, and their differences, are covered. Lambda-calculus models, which lie behind much of the semantics of programming languages, are also explainedin depth. The treatment is as non-technical as possible, with the main ideas emphasized and illustrated by examples. Many exercises are included, from routine to advanced, with solutions to most at the end of the book.
Outros livros de J. Roger Hindley
Livros na mesma categoria
Web Service Contract Design And Versioning For Soa
Thomas | Karmarkar Anish | Walmsley Priscilla | Haas Hugo | Yalcinalp L. Umit | Liu Kevin | Orchard David | Tost Andre | Pasley James Erl
Advanced Data Structures
Peter Brass
Redes Domiciliares e Redes de Acesso à Internet
LuíS Henrique Maciel Kosmalski | Duarte Otto Carlos Muniz Bandeira | Rubinstein Marcelo GonçAlves Costa
Wiley Pathways e-Business
Greg | Belew Shannon | Elad Joel Holden
Php - do Basico a Orientaçao de Objetos
Fabricio S. V. Xavier
Introduçao a Arquitetura de Mainframe e ao Sistema Operacional Z/os
Jorge Barbara de | Soares Jorge de Abreu VáRios Autores | Oliveira
Pro Visual Studio Team System Apllication Lifecycle Management
Joachim Rossberg
Two-Dimensional Phase Unwrapping
Dennis C. | Pritt Mark D. Ghiglia
Computability And Unsolvability
Autor Não Cadastrado
Logic, Methodology And Philosophy Of Science
Luis M. Valdes | Westerstahl Dag | Hajek Petr Villanueva
Você Deve Testar!
Chris Goward
Restfull Web Services
Leonard Richardson
Dicas e recomendações para leitores
Biografias permitem viver outras vidas sem sair do sofá. Uma seleção das memórias e biografias mais fascinantes dos últimos anos, de gênios, sobreviventes e revolucionários.
Literatura de viagem é mais que guia turístico. Os melhores livros do gênero transformam lugares em experiências e fazem você viajar sem sair do sofá.
Registrar o progresso de leitura vai muito além de saber em qual página você parou. Veja como o acompanhamento transforma a motivação, a disciplina e até a compreensão dos textos.
Para escolas, universidades, autores e editoras
