# John R. Longley

- Citations Per Year

- Citations Per Year

1995

1997

Learn More

- John R. Longley
- 1995

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)

- ‹
- 1
- ›