Searching for authors named "David Turner" – sorted by Relevance.
87 documents found, showing 1 through 10.
Next 10 →
-
Total Functional Programming
- …’s Thesis and Functional Programming David Turner Middlesex University, UK The earliest statement of Church…
- Cited by 16 (1 self) – Add To MetaCart
-
Date Declaration Set Theory Without the Axiom of Foundation
- … of David Turner Signed (Director of Studies) Date Declaration Set Theory Without the Axiom of Foundation…
- Add To MetaCart
-
Ensuring the Productivity of Infinite Structures
- … David Turner September 1997 Revised March 1998 1 This work was supported by the UK Engineering…
- Cited by 3 (0 self) – Add To MetaCart
-
Ensuring Streams Flow
- …Ensuring Streams Flow ? Alastair Telford and David Turner The Computing Laboratory…
- Cited by 10 (1 self) – Add To MetaCart
-
A Hierarchy of Languages with Strong Termination Properties
- … Alastair Telford David Turner The Computing Laboratory, The University, Canterbury, Kent, CT2 7NF, UK E…
- Cited by 1 (0 self) – Add To MetaCart
-
Payment-Based Email
- … these approaches and their limitations, and we argue that the payment- Payment-Based Email David A. Turner and Ni…
- Add To MetaCart
-
Operational Interpretations of Linear Logic
- …Operational Interpretations of Linear Logic David N. Turner, An Teallach Limited, dnt…
- Cited by 17 (0 self) – Add To MetaCart
-
Generic on-line/off-line threshold signatures
- … Generic On-line/Off-line Threshold Signatures Chris Crutchfield, David Molnar, David Turner…
- Cited by 1 (0 self) – Add To MetaCart
-
Optimal Streaming Of Layer-Encoded Multimedia Presentations
- … of layers in object ¦ . David A. Turner and Keith W. Ross Institut Eurécom, Sophia Antipolis, France…
- Cited by 1 (0 self) – Add To MetaCart
-
Bidding in P2P Content Distribution Networks using the Lightweight Currency Paradigm
- … and the National Science Foundation under award 9810708 are gratefully acknowledged. Elharith Elrufaie and David A…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
