#### Filter Results:

- Full text PDF available (3)

#### Publication Year

1951

2007

- This year (0)
- Last 5 years (0)
- Last 10 years (1)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- John R. Longley
- 1995

- John R. Longley, Alex K. Simpson
- Mathematical Structures in Computer Science
- 1997

We propose a uniform way of isolating a subcategory of predomains within the category of modest sets determined by a partial combinatory algebra (PCA). Given a divergence on a PCA (which determines a notion of partiality), we identify a candidate category of predomains, the well-complete objects. We show that, whenever a single strong completeness axiom… (More)

- M P Fourman, J D Fleuriot, J R Longley, A Background
- 2000

Much research in computer science, ever since its inception, has been devoted the problem: “How can we be sure that a computer program is correct?” The general problem is extremely difficult, and the enormous variety of computer software in use demands a corresponding variety of approaches: e.g. structured design methods [YC86], automated testing [Ber91]… (More)

- J R LONGLEY, E N COOK
- Proceedings of the staff meetings. Mayo Clinic
- 1951

A. Background A1. Introduction One of the fundamental questions at the heart of computer science is: \What does it mean for an operation or function to be computable in principle?" For the case of functions on the natural numbers, the work of Church, Turing and Kleene in the 1930s yielded several mathematical characterizations of a good class of computable… (More)

- J R Longley, J Ravera, O Riddell, K Jeter
- Investigative urology
- 1977

A new type of urinary conduit utilizing pure carbon has been used in dogs. It appears to be inert with respect to urine, acts as an adequate conduit in dogs, and theoretically should work in humans. Twelve vesicostomies and two ileal-bladder using carbon as a conduit were performed in dogs. Evaluation of the biocompatibility of the carbon material, a report… (More)

- J R Longley
- California medicine
- 1965

Determination of the prostatic acid phosphatase is, theoretically, a specific test for carcinoma of the prostate, but the present laboratory techniques have produced too many false positives and false negatives to be dependable. There may be inhibitors or enzymes that interfere with these tests. Until more exact enzymes are discovered, the present acid… (More)

- J R Longley, J Bush, C D Brunsting
- California medicine
- 1965

- J R LONGLEY
- Antibiotics annual
- 1955

- J R LONGLEY, G J THOMPSON
- Minnesota medicine
- 1952