Original language | Japanese |
---|---|
Pages (from-to) | 9-19 |
Number of pages | 11 |
Journal | プログラミング-言語・基礎・実践研究報告 |
Volume | 93 |
Issue number | 97 |
Publication status | Published - 1993 |
並行論理型言語の意味領域としてのガード付ストリーム:意味論的および構文的同値関係について
Research output: Contribution to journal › Article