Formalising Basic Topology for Computational Logic in Simple Type Theory

Fuenmayor, DavidDavidFuenmayor0000-0002-0042-4538Serrano Suárez, Fabián FernandoFabián FernandoSerrano Suárez2022-10-172022-10-172022978-3-031-16681-5978-3-031-16680-8https://fis.uni-bamberg.de/handle/uniba/55968engFormalising Basic Topology for Computational Logic in Simple Type Theoryconferenceobject10.1007/978-3-031-16681-5_4