Teaching Logic, from a Conceptual Viewpoint
On teaching set theory from a categorical viewpoint — using Lawvere’s Elementary Theory of the Category of Sets — rather than via Zermelo–Fraenkel axioms, and using a proof assistant to give students a complementary perspective on category theory and proof theory.
de Carvalho, D., Kudasov, N. (2020). "Teaching Logic, from a Conceptual Viewpoint." In Frontiers in Software Engineering Education, Springer, pp. 151–177. ISBN 978-3-030-57663-9.