activity
20202026
most citedStealth Shaper: Reflectivity Optimization as Surface Stylization

1 citations · 1 across the 5 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2020

On principal types and well-foundedness of the cummulativity relation in ECC

Eitetsu Ken, Masaki Natori, Kenji Tojo +1

When we investigate a type system, it is helpful if we can establish the well-foundedness of types or terms with respect to a certain hierarchy, and the Extended Calculus of Constr…