並行論理型言語の意味領域としてのガード付ストリーム:意味論的および構文的同値関係について

Research output: Contribution to journalArticle

Original languageJapanese
Pages (from-to)9-19
Number of pages11
Journalプログラミング-言語・基礎・実践研究報告
Volume93
Issue number97
Publication statusPublished - 1993

Cite this