Login / Signup
Representation and duality of the untyped λ-calculus in nominal lattice and topological semantics, with a proof of topological completeness.
Murdoch James Gabbay
Michael Gabbay
Published in:
Ann. Pure Appl. Log. (2017)
Keyphrases
</>
geometric objects
spatial relations
topological map
topological spaces
algebraic structure
reeb graph
image representation
semantic representation
proof theory
data quality
conceptual graphs
graphical representation
topological properties
topological information
relation algebra
smooth manifold