Skip to main content
Springer Nature Link
Log in

LISP, Lore, and Logic

An Algebraic View of LISP Programming, Foundations, and Applications

  • Textbook
  • © 1990

Overview

Authors:
  1. W. Richard Stark

    1. Department of Mathematics, University of South Florida, Tampa, USA

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook EUR 71.68
Price includes VAT (Germany)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book EUR 90.94
Price includes VAT (Germany)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

') var buybox = document.querySelector("[data-id=id_"+ timestamp +"]").parentNode var buyboxMaxSingleColumnWidth = 480 ;[].slice.call(buybox.querySelectorAll(".buying-option")).forEach(initCollapsibles) function initCollapsibles(buyingOption, index) { var toggle = buyingOption.querySelector(".buying-option-price") buyingOption.classList.remove("expanded") var form = buyingOption.querySelector(".buying-option-form") var priceInfo = buyingOption.querySelector(".price-info") if (toggle && form && priceInfo) { toggle.setAttribute("role", "button") toggle.setAttribute("tabindex", "0") toggle.addEventListener("click", function (event) { var expandedBuyingOptions = buybox.querySelectorAll(".buying-option.expanded") var buyboxWidth = buybox.offsetWidth ;[].slice.call(expandedBuyingOptions).forEach(function(option) { if (buyboxWidth -1 ;[].slice.call(buybox.querySelectorAll(".buying-option")).forEach(function (option, index) { var toggle = option.querySelector(".buying-option-price") var form = option.querySelector(".buying-option-form") var priceInfo = option.querySelector(".price-info") if (allOptionsInitiallyCollapsed || narrowBuyboxArea && index > 0) { toggle.setAttribute("aria-expanded", "false") form.hidden = "hidden" priceInfo.hidden = "hidden" } else { toggle.click() } }) } initialStateOpen() if (window.buyboxInitialised) return window.buyboxInitialised = true initKeyControls() })()

Other ways to access

Licence this eBook for your library

Institutional subscriptions

About this book

Here is a presentation of LISP which is both practical and theoretical. For the practical, the syntax of the language, the programming styles, and the semantics of computation are carefully developed. For the theoretical, the algebra of interpreters, the lambda calculus as a foundation for LISP, and the algebraic significance of LISP's approach to artificial intelligence are discussed. As the title suggests, the book reaches beyond the technical side of LISP to present colorful applications, historical comments and quotations, computational philosophy, consequences of LISP's exceptional power, and much more. The material has been designed to appeal to a variety of readers, from the bright freshman to the practicing professional, and from computer scientists and mathematicians to chemists, engineers, and philosophers.

Similar content being viewed by others

Keywords

Table of contents (10 chapters)

  1. Front Matter

    Pages i-xviii
    Download chapter PDF

  2. A First Look at LISP

    • W. Richard Stark
    Pages 1-19

  3. Elementary Programming

    • W. Richard Stark
    Pages 20-70

  4. Deeper into Essential Structure

    • W. Richard Stark
    Pages 71-103

  5. Computational Philosophy

    • W. Richard Stark
    Pages 104-125

  6. LISP Functions for Powerful Programming

    • W. Richard Stark
    Pages 126-175

  7. Interpreters: From Algebra to LISP

    • W. Richard Stark
    Pages 176-199

  8. Mathematical Foundations for LISP

    • W. Richard Stark
    Pages 200-215

  9. Automatic Reasoning, Algebraic Intelligence

    • W. Richard Stark
    Pages 216-239

  10. Bibliography

    • W. Richard Stark
    Pages 240-245

  11. Answers to Selected Exercises

    • W. Richard Stark
    Pages 246-268

  12. Back Matter

    Pages 269-278
    Download chapter PDF
Back to top

Authors and Affiliations

  • Department of Mathematics, University of South Florida, Tampa, USA

    W. Richard Stark

Accessibility Information

Accessibility information for this book is coming soon. We're working to make it available as quickly as possible. Thank you for your patience.

Bibliographic Information

Publish with us

Policies and ethics

Back to top