Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Introduction to higher order categorical logic
Introduction to higher order categorical logic
Theory of recursive functions and effective computability
Theory of recursive functions and effective computability
Topology via logic
An introduction to functional programming
An introduction to functional programming
ML for the working programmer
Complexity theory of real functions
Complexity theory of real functions
Semantics of programming languages: structures and techniques
Semantics of programming languages: structures and techniques
The formal semantics of programming languages: an introduction
The formal semantics of programming languages: an introduction
Power domains and second-order predicates
Theoretical Computer Science - Special volume of selected papers of the Sixth Workshop on the Mathematical Foundations of Programming Semantics, Kingston, Ont., Canada, May 1990
Handbook of logic in computer science (vol. 1)
Handbook of logic in computer science (vol. 1)
A type-theoretical alternative to ISWIM, CUCH, OWHY
Theoretical Computer Science - A collection of contributions in honour of Corrado Bo¨hm on the occasion of his 70th birthday
Mathematical theory of domains
Mathematical theory of domains
Handbook of logic in computer science (vol. 3)
Handbook of logic in computer science (vol. 3)
Elementary categories, elementary toposes
Elementary categories, elementary toposes
Real number computability and domain theory
Information and Computation
PCF extended with real numbers
Theoretical Computer Science - Special issue on real numbers and computers
Induction and recursion on the partial real line with applications to Real PCF
Theoretical Computer Science - Special issue on real numbers and computers
Domains and lambda-calculi
Concrete models of computation for topological algebras
Theoretical Computer Science - Special issue on computability and complexity in analysis
When is a functional program not a functional program?
Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Bisimilarity as a theory of functional programming
Theoretical Computer Science - Special issue on mathematical foundations of programming semantics
Information and Computation - Special issue: LICS 1996—Part 1
Computable analysis: an introduction
Computable analysis: an introduction
On full abstraction for PCF: I, II, and III
Information and Computation
Information and Computation
Topological properties of real number representations
Theoretical Computer Science
Power Domains and Predicate Transformers: A Topological View
Proceedings of the 10th Colloquium on Automata, Languages and Programming
Comparing Functional Paradigms for Exact Real-Number Computation
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Computational Dimension of Topological Spaces
CCA '00 Selected Papers from the 4th International Workshop on Computability and Complexity in Analysis
Lazy Functional Algorithms for Exact Real Functionals
MFCS '98 Proceedings of the 23rd International Symposium on Mathematical Foundations of Computer Science
Logical Aspects of Denotational Semantics
Category Theory and Computer Science
Real PCF extended with integration
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
A non-topological view of dcpos as convergence spaces
Theoretical Computer Science - Topology in computer science
Topological and limit-space subcategories of countably-based equilogical spaces
Mathematical Structures in Computer Science
Local realizability toposes and a modal logic for computability
Mathematical Structures in Computer Science
Mathematical Structures in Computer Science
Theoretical Computer Science - Mathematical foundations of programming semantics
Hierarchies of total functionals over the reals
Theoretical Computer Science - Logic, semantics and theory of programming
A universal characterization of the double powerlocale
Theoretical Computer Science - Logic, semantics and theory of programming
On the non-sequential nature of the interval-domain model of real-number computation
Mathematical Structures in Computer Science
Stably Compact Spaces and the Probabilistic Powerspace construction
Electronic Notes in Theoretical Computer Science (ENTCS)
ACM SIGACT News
A Hofmann-Mislove theorem for Bitopological Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
A Convenient Category of Domains
Electronic Notes in Theoretical Computer Science (ENTCS)
Operational domain theory and topology of sequential programming languages
Information and Computation
Semi-decidability of May, Must and Probabilistic Testing in a Higher-type Setting
Electronic Notes in Theoretical Computer Science (ENTCS)
The dedekind reals in abstract stone duality
Mathematical Structures in Computer Science
First Steps in Synthetic Computability Theory
Electronic Notes in Theoretical Computer Science (ENTCS)
De groot duality and models of choice: Angels, demons and nature†
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
Hi-index | 0.00 |