Formalizing ϕ-Calculus: A Purely Object-Oriented Calculus of Decorated Objects.

Nikolai Kudasov, Violetta Sim

Browse the full FTfJP paper archive.