@misc{oai:tsukuba.repo.nii.ac.jp:00008768,
 author = {Hamana, Makoto and 浜名, 誠},
 month = {},
 note = {application/pdf, 本研究の目的はインタラクションのある高階関数論理型の操作的、代数的、論理的、圏論的意味論を与えることである。それぞれの意味論は以下の目的のために重要であり、しかもそれぞれのそれぞれに対する正当性 ..., Thesis (Ph. D. in Engineering)--University of Tsukuba, (A), no. 1911, 1998.3.23},
 title = {Semantics for interactive high-order functional-logic programming},
 year = {1998}
}