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

Research output: Contribution to journal › Article

Cite this

@article{bfb66b2ff5c04aa58e84eedc6e886ad8,

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

author = "Masaki Murakami",

year = "1993",

language = "Japanese",

volume = "93",

pages = "9--19",

journal = "プログラミング-言語・基礎・実践研究報告",

number = "97",

}