A Coalgebraic Representation of Reduction by Cone of Influence

Hiroshi Watanabe, Koki Nishizawa, Osamu Takaki. A Coalgebraic Representation of Reduction by Cone of Influence. Electronic Notes in Theoretical Computer Science, 164(1):177-194, 2006. [doi]

Abstract

Abstract is missing.