On Completeness of Logical Relations for Monadic Types
保存先:
| 出版年: | arXiv.org (Dec 21, 2006), p. n/a |
|---|---|
| 第一著者: | |
| その他の著者: | , |
| 出版事項: |
Cornell University Library, arXiv.org
|
| 主題: | |
| オンライン･アクセス: | Citation/Abstract Full text outside of ProQuest |
| タグ: |
タグなし, このレコードへの初めてのタグを付けませんか!
|