Institution中合并理论的初始与终结语义

摘要

本文在一些相当直观的条件下建立了Ｉｎｓｔｉｔｕｔｉｏｎ中合并理论与各因子理论的初台语义之间的对应关系。