An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words
DOI10.1007/978-3-642-00982-2_45zbMath1234.68227OpenAlexW1858665003MaRDI QIDQ3618612
Oscar Valero, Jordi Llull-Chavarría
Publication date: 2 April 2009
Published in: Language and Automata Theory and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-00982-2_45
Formal languages and automata (68Q45) Function spaces in general topology (54C35) Metric spaces, metrizability (54E35) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Cites Work
- The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words
- Quasi-metric properties of complexity spaces
- The quasi-metric of complexity convergence
- The Smyth Completion
- Partial Metric Topology
- Denotational semantics for programming languages, balanced quasi-metrics and fixed points
- On the structure of the space of complexity partial functions
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: An Application of Generalized Complexity Spaces to Denotational Semantics via the Domain of Words