[Lambda]-calculus and combinators
了解 J. Roger Hindley 的《[Lambda]-calculus and combinators》（[Lambda]-calculus and combinators）：2007-02-22–2026-11-01 的 Hacker News 数据中有 12 次提及、10 位讨论者。阅读原文摘录、比较不同观点，将它加入你的书单。
分享到 X社区里的声音
最近 12 条来源记录提及不等于推荐。标签来自源数据的自动分类；请打开原始讨论核对上下文。
此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文此记录保留了作者、时间和来源链接，请打开 HN 阅读完整上下文。
在 Hacker News 阅读原文For the lambda calculus and the combinatory logic see Hindley and Seldin's "Lambda Calculus and Combinators", published this year, I think. Hindley and Selding have been doing LC since goodness knows when, and you will see their names all over papers and texts. The book I have in mind is very recent and has orange dark red/orange cover. For partial evaluation get "Partial Evaluation and Automatic Program Generation." Jones, Gomard and Sestoft. Freely available online somewhere. If you wanna dip into semantics, there is no better text than Nielson and Nielson "Semantics with Applications", also online on the authors' website. The undergraduate "appetizer" edition is new and I can't vouch for it, but the older one is a gem of a tiny little book. This text introduces all major three semantic theories (axiomatic, operational and denotational;…
在 Hacker News 阅读原文