[B! ラムダキューブ] isgkのブックマーク

isgk id:isgk

ラムダキューブに関するisgkのブックマーク (3)

https://www.cs.rhul.ac.uk/~zhaohui/Barendregt92.pdf
isgk 2012/07/22
Henk Barendregt, Lambda calculi with types, 1992.

ラムダ計算

型理論

ラムダキューブ
リンク
https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/1217-10.pdf
isgk 2012/06/04
Takeuti Izumi, The Theory of Parametricity in Lambda Cube (Towards new interaction between category theory and proof theory), RIMS Kokyuroku 1217, 143-157, 2001-06

論文

数理論理学

ラムダ計算

ラムダキューブ
リンク
λcubeに対応する論理達 - einblickerの日記
isgk 2012/05/31
ラムダ計算

数理論理学

Haskell

型理論

高階論理

ラムダキューブ
リンク
1

お知らせ

もっと読む

公式Twitter

@HatenaBookmark
リリース、障害情報などのサービスのお知らせ
@hatebu
最新の人気エントリーの配信

キーボードショートカット一覧

j次のブックマーク

k前のブックマーク

lあとで読む

eコメント一覧を開く

oページを開く

設定を変更しましたx