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 (FISEE 2019), LNCS vol. 12271, Springer, pp. 151–177. DOI: 10.1007/978-3-030-57663-9_11.