On the adequacy of graph rewriting for simulating term rewriting
ACM Transactions on Programming Languages and Systems (TOPLAS)
On the Yoneda completion of a quasi-metric space
Theoretical Computer Science
Soundness of data refinement for a higher-order imperative language
Theoretical Computer Science
A boundary-sensitive approach to qualitative location
Annals of Mathematics and Artificial Intelligence
Real number computation through gray code embedding
Theoretical Computer Science
A category of compositional domain-models for separable stone spaces
Theoretical Computer Science
Proceedings of the ESPRIT Working Group 8533 on Prospects for Hardware Foundations: NADA - New Hardware Design Methods, Survey Chapters
The Inversion Problem for Computable Linear Operators
STACS '03 Proceedings of the 20th Annual Symposium on Theoretical Aspects of Computer Science
A Logic for Probabilities in Semantics
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Theoretical Computer Science - Topology in computer science
Theoretical Computer Science - Topology in computer science
Some points in formal topology
Theoretical Computer Science - Topology in computer science
Continuous domains as formal spaces
Mathematical Structures in Computer Science
Compact metric spaces as minimal-limit sets in domains of bottomed sequences
Mathematical Structures in Computer Science
A behavioural pseudometric for metric labelled transition systems
CONCUR 2005 - Concurrency Theory
On the computational content of the Lawson topology
Theoretical Computer Science - Clifford lectures and the mathematical foundations of programming semantics
Representing probability measures using probabilistic processes
Journal of Complexity
A Convenient Category of Domains
Electronic Notes in Theoretical Computer Science (ENTCS)
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Fundamenta Informaticae
Semantics of a sequential language for exact real-number computation
Theoretical Computer Science
Recursively defined metric spaces without contraction
Theoretical Computer Science
On the Relationship between Filter Spaces and Weak Limit Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
LFCS '07 Proceedings of the international symposium on Logical Foundations of Computer Science
Operational domain theory and topology of sequential programming languages
Information and Computation
Enriched Categories and Quasi-uniform Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Electronic Notes in Theoretical Computer Science (ENTCS)
Probabilistic Observations and Valuations
Electronic Notes in Theoretical Computer Science (ENTCS)
Computational Effects in Topological Domain Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
Fuzzy Sets and Systems
Realisability semantics of parametric polymorphism, general references and recursive types
Mathematical Structures in Computer Science
What sequential games, the tychonoff theorem and the double-negation shift have in common
Proceedings of the third ACM SIGPLAN workshop on Mathematically structured functional programming
Journal of Computer Security - 7th International Workshop on Issues in the Theory of Security (WITS'07)
Step-indexed kripke models over recursive worlds
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Algebraic models of deviant modal operators based on de Morgan and Kleene lattices
Information Sciences: an International Journal
Admissible representations in computable analysis
CiE'06 Proceedings of the Second conference on Computability in Europe: logical Approaches to Computational Barriers
Disjunctive constraint lambda calculi
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
A topological approach of the web classification
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
Continuity and discontinuity in lambda calculus
TLCA'05 Proceedings of the 7th international conference on Typed Lambda Calculi and Applications
Defining Fairness in Reactive and Concurrent Systems
Journal of the ACM (JACM)
Strictly level-decreasing logic programs
IW-FM'98 Proceedings of the 2nd Irish conference on Formal Methods
An Investigation About Rough Set Theory: Some Foundational and Mathematical Aspects
Fundamenta Informaticae - Advances in Rough Set Theory
A Categorical View on Algebraic Lattices in Formal Concept Analysis
Fundamenta Informaticae
Multi Lingual Sequent Calculus and Coherent Spaces
Fundamenta Informaticae
Full Abstractness of a Metric Semantics for Action Refinement
Fundamenta Informaticae
Quasi-Metrics And The Semantics Of Logic Programs
Fundamenta Informaticae
Topology And The Semantics Of Logic Programs
Fundamenta Informaticae
Hi-index | 0.01 |