Selingerはの分野においてQFCとQPLに表示的意味論(denotationalsemantic)を与えている.
論