関係プログラム論理のためのモナド上のダイバージェンス | T2R2 東京工業大学リサーチリポジトリ

論文・著書情報

タイトル

和文:	関係プログラム論理のためのモナド上のダイバージェンス
英文:

著者

和文:	佐藤哲也, 勝股審也.
英文:	Tetsuya Sato, 勝股審也.

言語

Japanese

掲載誌/書名

和文:
英文:

巻, 号, ページ

出版年月

2022年3月7日

出版者

和文:
英文:

会議名称

和文:	第24回プログラミングおよびプログラミング言語ワークショップ(PPL 2022)
英文:

開催地

和文:
英文:

公式リンク

https://jssst-ppl.org/workshop/2022/

©2007 Tokyo Institute of Technology All rights reserved.