Skip to main content

1990 | OriginalPaper | Buchkapitel

Computational Philosophy

verfasst von : W. Richard Stark

Erschienen in: LISP, Lore, and Logic

Verlag: Springer New York

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

The essentials of LISP that we have developed so far support some interesting and important computational philosophy. At this point, a little philosophy—like a smile on a friend’s face—is an appropriate interruption to the serious study of LISP programming. The objective of this chapter is to introduce some theoretical aspects of functional programming and computing. This will consist of a bit of classical recursion theory, pure LISP, types of recursion, and the folklore of fixed-point computation.

Metadaten
Titel
Computational Philosophy
verfasst von
W. Richard Stark
Copyright-Jahr
1990
Verlag
Springer New York
DOI
https://doi.org/10.1007/978-1-4613-8931-6_4