Book Meter Reviews

こちらは読書メーターで書かれたレビューとなります。

powered by

• 水紗枝荒葉

  読了日：2025/04/21

  ラムダ計算の表示的意味論（領域理論）について理論的に美しい結果を紹介。型付きラムダ計算を実践的に拡張したPCFの意味論を論じた後、最終的に型無しラムダ計算の意味論を圏論で構成する。

• tyfk

  読了日：2024/12/19

  「2.8 型付きラムダ計算」を見たら、ここでターンスタイルが出てきてて、「型宣言列Γの下でλ式Mの型がσであることを、Γ⊢M:σと表し、型判定式、型付けと呼ぶ」とあった。「型判定式は型宣言列Γの下でMが正しく型付けされたλ式であることも意味している」

• ashiato45

  読了日：2018/08/25

  気にはなっていたのだか積読で、一念発起して興味あるところだけ読むことにした。そういうわけで全体の話はしてません。 公理的意味論は(他の意味論のスタイルと明確な区別があるわけではないが)プログラムの構文に、その文が意味する数学的対象を直接割り付けるもの。プログラムが停止しないなどのエラーをうまく扱えるその数学的対象としては部分関数が便利で、その順序をうまく扱うため…(字数が溢れたのであとはブログでhttp://ashiato45.hatenablog.jp/entry/2018/08/25/175708)

レビューをもっと見る

(外部サイト)に移動します