Interdefinability of parallel operations in PCF
Theoretical Computer Science - Special issue: Part B: Logic, semantics, and theory of programming
Handbook of logic in computer science (vol. 3)
Exact real arithmetic: a case study in higher order programming
LFP '86 Proceedings of the 1986 ACM conference on LISP and functional programming
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)
Domains and Lambda-Calculi (Cambridge Tracts in Theoretical Computer Science)
On the non-sequential nature of the interval-domain model of real-number computation
Mathematical Structures in Computer Science
Semantics of a sequential language for exact real-number computation
Theoretical Computer Science
SHRAD: a language for sequential real number computation
CiE'05 Proceedings of the First international conference on Computability in Europe: new Computational Paradigms
Hi-index | 0.00 |