Daniel Leivant
Steven Fortune, Daniel Leivant, and Michael O'Donnell.
The expressiveness of simple and second-order type structures.
Journal of the ACM
, 30(1):151-185, January 1983.
Citations.
Daniel Leivant and Tim Fernando.
Meager and replete failures of relative completeness.
Journal of the ACM
, 35(4):953-964, October 1988.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database