{"entities":{"Q3007655":{"pageid":3018379,"ns":120,"title":"Item:Q3007655","lastrevid":80157185,"modified":"2026-05-06T15:34:01Z","type":"item","id":"Q3007655","labels":{"en":{"language":"en","value":"Classical call-by-need and duality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5908715"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$7BAD8801-E717-40BD-A9CB-3A1110F5C23E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51beeb193f0e447ed10171c59a699f29224dbec7","datavalue":{"value":{"text":"Classical Call-by-Need and Duality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3007655$8E3B7BCB-0C66-4798-986A-5C07D50CC263","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9018ad2a95c6704c14d267440d4fceec912c0a19","datavalue":{"value":"1331.68041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007655$379CEE26-B840-4AB0-9F85-C4498BB36733","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c9c322cd8a5e90b3557f110a05dcd2cf97910fee","datavalue":{"value":"10.1007/978-3-642-21691-6_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007655$793A0AFA-2465-4A5E-804F-2D9808295EEA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9d89efad0da6c1450a3f2a78ff15faeb15b9b4f","datavalue":{"value":{"entity-type":"item","numeric-id":673124,"id":"Q673124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$39E41806-40D8-4DB5-8BB0-33D1E7AAE4B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efed21e9824a359c8d3282e3ffda49b99e5e2e03","datavalue":{"value":{"entity-type":"item","numeric-id":636370,"id":"Q636370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$E87B5246-6267-49DF-9090-848C65EFF00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41f2839c89d1345755f9d23745ecb4716429d131","datavalue":{"value":{"entity-type":"item","numeric-id":428893,"id":"Q428893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$1748022A-CB01-440B-95C9-BA0D3CCDCB2D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$8F1E6272-5B3E-403E-BBF3-45F7A6152E22","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7c5acb12eb16cd36e6bd9603815f2e919f7d5ec","datavalue":{"value":{"time":"+2011-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3007655$7F2F4C5C-1941-42F3-A34C-A0B84CFB0EB6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007655$2F346F6F-6CEC-46CB-92C3-4BD608DE9EF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1a46cadd596681207a54333fcabab71f2f828168","datavalue":{"value":"5908715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007655$779C7C60-690C-4FD2-822D-9A0D9BFA5AF5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"306babe488cfa3a591cfd4ed12d529826135f187","datavalue":{"value":"call-by-need","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007655$03237EDE-316A-4CCF-B464-BCBDDE681F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b21d58c4afcd9e47493de8b658e7b2c4c12cdcf1","datavalue":{"value":"lazy evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007655$6945DA65-81CC-4FA2-8B3D-08F49A2FC74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53e62081ffc094320d403d97e6f1913b36af2e63","datavalue":{"value":"duality of computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007655$11BE04CC-DFE6-4796-A196-5DA64B6A845E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007655$CA942F64-301C-4E47-8F03-8581129704F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b5ff3ce088f68c430abeedfe461960e04cf5544","datavalue":{"value":"\\(\\lambda \\mu \\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007655$4CB8D6E1-C25B-4C88-9DF9-80B159D0A918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007655$BF9C1950-76F3-4716-B8ED-0136BF954FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"235d9f1ea5bfa248691c100bdc7ea768eaf09bf9","datavalue":{"value":"control","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007655$C578E531-2A8D-40EC-925A-1BE14B1CCA06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a4357137af7830e2966ec03e7244b928109146c","datavalue":{"value":"subtraction connective","type":"string"},"datatype":"string"},"type":"statement","id":"Q3007655$3300A03C-8DE4-4691-BFFA-002C3F5CB543","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$16B5A3D0-7E43-4998-A892-C2931BB26C21","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c843d18066210c87cdfb4755b36bd6a23b70591","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21691-6_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3007655$5322C800-CBD5-49F3-B162-1196D7192CED","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d0bcf27d65d82fdfb457b0efebb50b4ad3869c7b","datavalue":{"value":"W184349421","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3007655$7D72AD5A-E1C3-4905-B30F-F8D73CD9A25F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fce346af8ad8eed60230e11cee99a093b89a02b","datavalue":{"value":{"entity-type":"item","numeric-id":4449226,"id":"Q4449226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$D8B7A0EF-1601-486D-8D0E-68BB102BD40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc937e27d5d0efb7afbe95dc3a7e3d054e3183c1","datavalue":{"value":{"entity-type":"item","numeric-id":4358458,"id":"Q4358458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$7A9BF34B-1F37-462D-A339-208ECF2AA4A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc587db8295afb5c732c91736b853bd7114c6237","datavalue":{"value":{"entity-type":"item","numeric-id":3503192,"id":"Q3503192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$835C69CB-87F0-4410-8365-0F6015256E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"107ca8f6f6b5ac0f34854c5c3a7531294eb51737","datavalue":{"value":{"entity-type":"item","numeric-id":2464725,"id":"Q2464725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$9A1AF689-EB14-4A69-B8E6-0C0F55F3A4CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c98bab0d41c367d66169ee4e7a5fceff1e69cd37","datavalue":{"value":{"entity-type":"item","numeric-id":968364,"id":"Q968364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$33D378E5-2DAB-406D-9F64-E950A6F8CD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef5d9df8ee1b7691f1ce86bd867f936bf64d345e","datavalue":{"value":{"entity-type":"item","numeric-id":4948037,"id":"Q4948037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$43FDDCCA-F5E2-4A9C-817E-8C9C2E82BBC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$C783EDF1-A4CE-4517-B095-C5CEBA281B49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22df2c0a9da41467dd8e40df1e4a939b7164cc85","datavalue":{"value":{"entity-type":"item","numeric-id":1565537,"id":"Q1565537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$9A5B2089-F2E0-4D6F-BDE1-40CB7D6E6D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72e6baa3f2d1b108638e63f44444eb15fffd0961","datavalue":{"value":{"entity-type":"item","numeric-id":5940919,"id":"Q5940919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$B197C15A-67F0-4A7B-8DDA-687D681015BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"640dbea36607eac12c9234dd8913c144d385805c","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$94DE65F0-936A-4763-86AD-69B3B48D1970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d0c3c520266c0eb0c8719af10bc93260259779f","datavalue":{"value":{"entity-type":"item","numeric-id":4842975,"id":"Q4842975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$0E0585EF-0B7C-47D1-B08B-C09E1CB20AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e84ff42267477e949575e937efae295817dbcbf","datavalue":{"value":{"entity-type":"item","numeric-id":4372906,"id":"Q4372906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$12F8E107-D075-40E0-9733-792AC00712D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"516c671ee95ef6bfec15deec3f47e74365c3420d","datavalue":{"value":{"entity-type":"item","numeric-id":3558342,"id":"Q3558342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$B058BDC9-65C8-4299-952F-44AF5EF98F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea1ed148ff66b406057a98235839d96140aebe76","datavalue":{"value":{"entity-type":"item","numeric-id":2732290,"id":"Q2732290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$097D4B37-2DE0-4F68-BBDE-B38DDEE7FE75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f80c309e64b1cfeded9c015638835fbb819eec","datavalue":{"value":{"entity-type":"item","numeric-id":1101435,"id":"Q1101435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$74DC1F95-6251-4BB9-AF18-91266123DA00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56eb0fc9625e25fe1c1f9ee4c150289812881be6","datavalue":{"value":{"entity-type":"item","numeric-id":5261514,"id":"Q5261514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$A5968B38-8C01-4768-9DD0-57DE70E8E4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d098aa06913d7a29ab62deb380c4bfe1d1dbc43","datavalue":{"value":{"entity-type":"item","numeric-id":3637192,"id":"Q3637192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$CE06BB7B-CD9D-4571-8738-1C6D1E726DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbfe4964a46d9b5ae61ca298ddf701e390f98625","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$A868A4CF-CCC1-462A-A9E6-02FF4D542DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14821703ad3559ce115eabb18820913df4a58412","datavalue":{"value":{"entity-type":"item","numeric-id":3202991,"id":"Q3202991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$AF1623B5-9975-485A-99A7-55B13F265381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4742d7a0d6c8d8a486327d93a0aaeff26ab6ee84","datavalue":{"value":{"entity-type":"item","numeric-id":860851,"id":"Q860851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$58A490DA-8B6C-45FC-9DE5-327843126502","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$F6D918E1-9F2C-4307-96DA-9B28B64E5E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e27be5516997b567899ad0b0d96cb56d275522c","datavalue":{"value":{"entity-type":"item","numeric-id":1225449,"id":"Q1225449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$EF968E30-905B-4B08-AB32-FB0C2D6A2576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$80E97A82-3B12-4874-A42D-710A07089167","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52c26825fcf739d62c204dd52aa4060382a449a2","datavalue":{"value":{"entity-type":"item","numeric-id":703856,"id":"Q703856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$F0330680-4E13-47BB-9701-D43030C04209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d25189cadcfb01bfb85424fb5e34c27a9558087","datavalue":{"value":{"entity-type":"item","numeric-id":2719799,"id":"Q2719799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3007655$78444A22-0C03-4A1A-9903-E92DC964C4BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0010c7fd33e395df3d252e1b05141afb5821b8d3","datavalue":{"value":{"entity-type":"item","numeric-id":2802497,"id":"Q2802497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de063d5157964330448b600ecb8c7ba1d42c601","datavalue":{"value":{"amount":"+0.8973789215087891","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007655$8A18258F-90D5-4435-A989-882B67CC74B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a458238d85fa2292ae683f46194b052e8ce270a6","datavalue":{"value":{"entity-type":"item","numeric-id":5261275,"id":"Q5261275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad24c70bfa06c19dbd9d6d6a18b14c4a156465c","datavalue":{"value":{"amount":"+0.8519554138183594","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007655$89C5D937-E6B0-48A3-8FD9-2A25D15053C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d550264b6e0b9b9e34fc68c3834fa65e248c7ebc","datavalue":{"value":{"entity-type":"item","numeric-id":2943375,"id":"Q2943375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d524b97a21a46abc81928f716544d22824ed2ed","datavalue":{"value":{"amount":"+0.8281518220901489","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007655$CD2DAB37-0467-4135-A6DB-409C5BA4D7CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb7522e68507b50e361e96f29d7c73bb4c21563","datavalue":{"value":{"entity-type":"item","numeric-id":4236864,"id":"Q4236864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f96d4bcd3ecec0d7613fbf01fc416cb730c895fc","datavalue":{"value":{"amount":"+0.8214356303215027","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007655$78392396-44CF-4D34-A92F-52384D02154E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1fb28875ab49be64b193c59ac5afa46c7b196ec","datavalue":{"value":{"entity-type":"item","numeric-id":5703848,"id":"Q5703848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf16feadf14d6f32c6cf3b8e3231c0411d197b3","datavalue":{"value":{"amount":"+0.8198105692863464","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3007655$3EB13047-DF59-4EB1-B5AE-75B72BFF3162","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Classical call-by-need and duality","badges":[]}}}}}