Livro: The Calculi of Lambda-Conversion (AM-6), Volume 6 - Alonzo Church

imagem ilustrativa

Salvar edição

Editora: UmLivro
Ano: 1985
ISBN: 9780691083940
The classic book that inspired Alan Turing and helped to lay the foundation for theoretical computer scienceThis book provides a concise introduction to the calculi of lambda-conversion first discovered by Alonzo Church and developed by him in collaboration with his students, S. C. Kleene and J. B.

Alonzo Church | 1985

Descrição: The classic book that inspired Alan Turing and helped to lay the foundation for theoretical computer scienceThis bo... Veja mais

The Calculi of Lambda-Conversion (AM-6), Volume 6