Observationally-induced Algebras in Domain Theory

摘要：

　　We investigate the observationally-induced free algebra approach for constructing computational monads in the categories of classical domain theory.Our investigation yields that the free algebra construction exists for all finitary algebraic signatures and computational prototypes.We furthermore investigate the classical powerdomain constructions in the observationally-induced approach.For the Hoare,Smyth and probabilistic powerdomain constructions we build on established results,showing that they can be recovered observationally-induced.However,the Plotkin powerdomain turns out to be more problematic.Here we show that with the obvious prototype algebra,Heckmanns algebra A,one does not get the classical Plotkin powerdomain.

关键词： denotational semantics computational effects powerdomains topological domain theory

作者: Ingo Battenfeld

作者单位: Fakult(a)t für Informatik TU Dortmund Dortmund,Germany

会议类型: 国际会议

会议名称: The 6th International Symposium on Domain Theory and its Applications—ISDT’13(第六届Domain理论及应用国际学术研讨会)

会议地点: 长沙

会议语种:英文

页码: 21-37

在线出版日期: 2013-10-25（万方平台首次上网日期，不代表论文的发表时间）