Nikolai Kudasov

According to our database, Nikolai Kudasov authored at least 7 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Formalizing the ∞-Categorical Yoneda Lemma.

Nikolai Kudasov, Emily Riehl, Jonathan Weinberger

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

E-Unification for Second-Order Abstract Syntax.

Nikolai Kudasov

Proceedings of the 8th International Conference on Formal Structures for Computation and Deduction, 2023

2022

Detecting unjustified assumptions in subclasses via EO representation.

Vitaliy Korbashov, Nikolai Kudasov, Mikhail Olokin, Violetta Sim

CoRR, 2022

Detecting unanticipated mutual recursion using Elegant Objects representation of object-oriented programs.

Nikolai Kudasov, Mikhail Olokin, Oleksii Potyomkin, Nikolay Shilov, Maxim Stepanov

CoRR, 2022

Functional Pearl: Dependent type inference via free higher-order unification.

Nikolai Kudasov

CoRR, 2022

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

Nikolai Kudasov, Violetta Sim

Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022

2019

Teaching Logic, from a Conceptual Viewpoint.

Daniel de Carvalho, Nikolai Kudasov

Proceedings of the Frontiers in Software Engineering Education, 2019