A Point-Free Relation-Algebraic Approach to General Topology
From MaRDI portal
Publication:5410487
DOI10.1007/978-3-319-06251-8_14zbMath1405.68089OpenAlexW2219905005MaRDI QIDQ5410487
Publication date: 16 April 2014
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-06251-8_14
Continuous maps (54C05) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Generalities in topology (54A99)
Related Items (3)
Tool-Based Relational Investigation of Closure-Interior Relatives for Finite Topological Spaces ⋮ Cryptomorphic topological structures: a computational, relation-algebraic approach ⋮ Solving computational tasks on finite topologies by means of relation algebra and the \textsc{RelView} tool
Uses Software
This page was built for publication: A Point-Free Relation-Algebraic Approach to General Topology
