research
∙
06/07/2023
On categorical structures arising from implicative algebras: from topology to assemblies
Implicative algebras have been recently introduced by Miquel in order to...
share
research
∙
12/20/2018
