Showing 2020Show all
2 papers · 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…
math.CO2020
Foundations of Temperature Theory
Katsuyuki Bando, Eitetsu Ken, Kota Morikawa
Temperature of combinatorial games have been long studied since when Conway established the modern combinatorial game theory, and there are several variations of the concepts. In t…