Sanjay Manchanda. Higher-Order Logic As a Data Model. In Richard Hull, Ronald Morrison, David W. Stemple, editors, Proceedings of the Second International Workshop on Database Programming Languages, 4-8 June, 1989, Salishan Lodge, Gleneden Beach, Oregon. pages 330-341, Morgan Kaufmann, 1989. [doi]
Abstract is missing.