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]

Authors

Hiroshi Watanabe

This author has not been identified. Look up 'Hiroshi Watanabe' in Google

Koki Nishizawa

This author has not been identified. Look up 'Koki Nishizawa' in Google

Osamu Takaki

This author has not been identified. Look up 'Osamu Takaki' in Google