Quasi-uniform type spaces
From MaRDI portal
Publication:6315674
arXiv1903.06582MaRDI QIDQ6315674
Publication date: 15 March 2019
Partial orders, general (06A06) Monotone operators and generalizations (47H05) Metric spaces, metrizability (54E35) Linearly ordered topological spaces, generalized ordered spaces, and partially ordered spaces (54F05) Fixed-point theorems (47H10) BCK-algebras, BCI-algebras (06F35) Contraction-type mappings, nonexpansive mappings, (A)-proper mappings, etc. (47H09) Semantics in the theory of computing (68Q55) Other algebras related to logic (03G25)
This page was built for publication: Quasi-uniform type spaces