One Monad to Prove Them All

保存先:
書誌詳細
出版年:arXiv.org (Feb 1, 2019), p. n/a
第一著者: Dylus, Sandra
その他の著者: Christiansen, Jan, Teegen, Finn
出版事項:
Cornell University Library, arXiv.org
主題:
オンライン・アクセス:Citation/Abstract
Full text outside of ProQuest
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
このレコードへの初めてのコメントを付けませんか!
この操作にはログインが必要です