私はLISPに関する本を翻訳していますが、当然 -calculusのいくつかの要素に触れています。だから、extensionalityの概念は、一部のモデルのと一緒にそこに言及されているλ -calculus、すなわち:P ωとD ∞(はい、上部に無限大で)。そして、と言われたP ωは一方で伸びているDが∞ではありません。
しかし...私はBarendregtのを見たラムダ計算、それは構文とセマンティクスだ、と(うまくいけば、正しく)が正反対を読む:伸びないが、D ∞です。
その奇妙なモデルについて誰でも知っている?それはのようにちょうど同じモデルのだろうD ∞が、誤って書かれましたか?モデルの拡張性については正しいですか?
ありがとう。
LISPブックのコンテキストを教えていただけますか?結果またはそれが参照するモデルへの参照はありますか?
—
コーディ
ええ、Christian QueinnecのLISP in Small Piecesです。153言及と抜粋は:[...]それ以来、特性は、いくつかの異なるモデルの製造、いくつかの異なる方法で拡張されたまたはPのω [Sco76、Sto77]です。[...]不思議のに十分な、P ωに対し、すべての点で同じことを計算する2つの関数は、同じであるので、外延であるDが∞外延的ではありませんが。[...] Sco76はダナスコッツの略格子としてデータ型。Sto77はJoseph StoysのDenotational Semantics:The Scott-Stachey Approach to Programming Language Theoryの略です。
—
クリス
ありがとう!その場合、それはそれを、入力ミスがあった可能性があるを表しD ∞、それがあることPのω伸びません。
—
コーディ