2014年6月12日
Identifying All Preorders on the Subdistribution Monad
Mathematical Foundations of Programming Semantics Thirtieth Conference (MFPS XXX)
- 記述言語
- 英語
- 会議種別
- 口頭発表（一般）
- 開催地
- 米国・ニューヨーク州イタカ
佐藤 哲也
サトウ テツヤ (Tetsuya Sato)
更新日: 04/15