1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.LO2026
Rzk: a Proof Assistant for Synthetic -Categories
Nikolai Kudasov, Violetta Sim, Benedikt Ahrens
Homotopy type theory (HoTT) is a type theory that allows for synthetic reasoning about -groupoids. Several proof assistants (such as Rocq and Agda) implement variants of Ho…
cs.PL2022
Detecting Unjustified Assumptions in Subclasses via Elegant Objects Representation
Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin +1
Elegant Objects (EO) is a programming language based on ideas of pure objects and the Decorator pattern. Bugayenko has suggested it as an intermediate representation for object-ori…
cs.PL2022★ 1 cited
Formalizing -calculus: a purely object-oriented calculus of decorated objects
Nikolai Kudasov, Violetta Sim
Many calculi exist for modelling various features of object-oriented languages. Many of them are based on -calculus and focus either on statically typed class-based languages or…