Login / Signup

A Coalgebraic Representation of Reduction by Cone of Influence.

Hiroshi WatanabeKoki NishizawaOsamu Takaki
Published in: CMCS (2006)
Keyphrases