このエントリーをはてなブックマークに追加

2月

9

依存型勉強会4

募集内容

Attendee Type 1

無料

参加者数
5

イベントの説明

概要

Martin-Loefの型理論とか勉強しましょう。

第4回は以下の文献などを参考にdirected type theoryをやります

http://www.cs.cmu.edu/~drl/pubs/lh102dtt/lh102dtt.pdf https://tel.archives-ouvertes.fr/tel-01590515/document http://www.lsv.fr/~dubut/defense.pdf


計画
  • 第一回 intensional / extensional type theory
  • 第二回 universe
  • 第3回 cubical type theory
  • 第4回 directed type theory
  • 第?回 observational type theory

資料 資料をもっと見る/編集する

資料が投稿されると、最新の3件が表示されます。

フィード

t6s

t6s さんが 依存型勉強会4 を公開しました。

2018/01/24 18:36

依存型勉強会4 has been published!

終了

2018/02/09(金)

18:30
21:00

募集期間
2018/01/24(水) 18:35 〜
2018/02/09(金) 21:00

管理者

参加者(5人)

t6s

t6s

I joined 依存型勉強会4!

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰)

I joined 依存型勉強会4!

keigoi

keigoi

依存型勉強会4に参加を申し込みました!

mkoga_

mkoga_

依存型勉強会4 に参加を申し込みました!

ahuglajbclajep

ahuglajbclajep

依存型勉強会4に参加を申し込みました!

参加者一覧(5人)

キャンセルした人(2人)