Jean-Yves Girard: On Denotational Completeness. (1999)journals/tcs/Girard9910.1016/S0304-3975(99)00055-9On Denotational Completeness.1Jean-Yves Girard 00011249-273Theor. Comput. Sci.Theor. Comput. Sci.2271-21999provenance information for RDF data of dblp record 'journals/tcs/Girard99'2021-02-17T21:57:34+0100