Combinatory Logic

Combinatory Logic

by Katalin Bimbó
Released July 2011
Publisher(s): Chapman and Hall/CRC
ISBN: 9781439800010

Read it now on the O’Reilly learning platform with a 10-day free trial.

O’Reilly members get unlimited access to books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.

Start your free trial

Book description

Combinatory logic is a versatile field that is connected to philosophical, mathematical, and computational logic. This comprehensive reference on combinatory logic covers results in the field from the last four decades along with classical information on the topic. The author makes combinatory logic simple to understand while providing working knowledge that is rigorous, current, and readable. Reader-friendly without compromising the precision of exposition, the book includes many new research results not found in the available literature. It also contains pointers to new directions in the field that can be pursued further by researchers.

Table of contents

  1. Front Cover (1/2)
  2. Front Cover (2/2)
  3. Contents
  4. Preface
  5. 1. Elements of Combinatory Logic (1/6)
  6. 1. Elements of Combinatory Logic (2/6)
  7. 1. Elements of Combinatory Logic (3/6)
  8. 1. Elements of Combinatory Logic (4/6)
  9. 1. Elements of Combinatory Logic (5/6)
  10. 1. Elements of Combinatory Logic (6/6)
  11. 2. Main Theorems (1/5)
  12. 2. Main Theorems (2/5)
  13. 2. Main Theorems (3/5)
  14. 2. Main Theorems (4/5)
  15. 2. Main Theorems (5/5)
  16. 3. Recursive Functions and Arithmetic (1/8)
  17. 3. Recursive Functions and Arithmetic (2/8)
  18. 3. Recursive Functions and Arithmetic (3/8)
  19. 3. Recursive Functions and Arithmetic (4/8)
  20. 3. Recursive Functions and Arithmetic (5/8)
  21. 3. Recursive Functions and Arithmetic (6/8)
  22. 3. Recursive Functions and Arithmetic (7/8)
  23. 3. Recursive Functions and Arithmetic (8/8)
  24. 4. Connections to λ-calculi (1/6)
  25. 4. Connections to λ-calculi (2/6)
  26. 4. Connections to λ-calculi (3/6)
  27. 4. Connections to λ-calculi (4/6)
  28. 4. Connections to λ-calculi (5/6)
  29. 4. Connections to λ-calculi (6/6)
  30. 5. (In)equational Combinatory Logic (1/3)
  31. 5. (In)equational Combinatory Logic (2/3)
  32. 5. (In)equational Combinatory Logic (3/3)
  33. 6. Models (1/10)
  34. 6. Models (2/10)
  35. 6. Models (3/10)
  36. 6. Models (4/10)
  37. 6. Models (5/10)
  38. 6. Models (6/10)
  39. 6. Models (7/10)
  40. 6. Models (8/10)
  41. 6. Models (9/10)
  42. 6. Models (10/10)
  43. 7. Dual and Symmetric Combinatory Logics (1/9)
  44. 7. Dual and Symmetric Combinatory Logics (2/9)
  45. 7. Dual and Symmetric Combinatory Logics (3/9)
  46. 7. Dual and Symmetric Combinatory Logics (4/9)
  47. 7. Dual and Symmetric Combinatory Logics (5/9)
  48. 7. Dual and Symmetric Combinatory Logics (6/9)
  49. 7. Dual and Symmetric Combinatory Logics (7/9)
  50. 7. Dual and Symmetric Combinatory Logics (8/9)
  51. 7. Dual and Symmetric Combinatory Logics (9/9)
  52. 8. Applied Combinatory Logic (1/4)
  53. 8. Applied Combinatory Logic (2/4)
  54. 8. Applied Combinatory Logic (3/4)
  55. 8. Applied Combinatory Logic (4/4)
  56. 9. Typed Combinatory Logic (1/8)
  57. 9. Typed Combinatory Logic (2/8)
  58. 9. Typed Combinatory Logic (3/8)
  59. 9. Typed Combinatory Logic (4/8)
  60. 9. Typed Combinatory Logic (5/8)
  61. 9. Typed Combinatory Logic (6/8)
  62. 9. Typed Combinatory Logic (7/8)
  63. 9. Typed Combinatory Logic (8/8)
  64. Appendix (1/10)
  65. Appendix (2/10)
  66. Appendix (3/10)
  67. Appendix (4/10)
  68. Appendix (5/10)
  69. Appendix (6/10)
  70. Appendix (7/10)
  71. Appendix (8/10)
  72. Appendix (9/10)
  73. Appendix (10/10)
  74. Bibliography (1/2)
  75. Bibliography (2/2)
  76. List of Symbols

Product information

  • Title: Combinatory Logic
  • Author(s): Katalin Bimbó
  • Release date: July 2011
  • Publisher(s): Chapman and Hall/CRC
  • ISBN: 9781439800010