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

2月

9

依存型勉強会4

Registration info

Attendee Type 1

Free

Attendees
5

Description

概要

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

Media View all Media

If you add event media, up to 3 items will be shown here.

Feed

t6s

t6s published 依存型勉強会4.

01/24/2018 18:36

依存型勉強会4 has been published!

Ended

2018/02/09(Fri)

18:30
21:00

Registration Period
2018/01/24(Wed) 18:35 〜
2018/02/09(Fri) 21:00

Organizer

Attendees(5)

t6s

t6s

I joined 依存型勉強会4!

Haochen Xie (謝昊辰)

Haochen Xie (謝昊辰)

I joined 依存型勉強会4!

keigoi

keigoi

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

mkoga_

mkoga_

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

ahuglajbclajep

ahuglajbclajep

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

Attendees (5)

Canceled (2)