{"entities":{"Q760418":{"pageid":762267,"ns":120,"title":"Item:Q760418","lastrevid":64167405,"modified":"2026-04-11T18:05:20Z","type":"item","id":"Q760418","labels":{"en":{"language":"en","value":"Distributive semantics for nondeterministic typed \\(\\lambda\\)-calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3884132"}},"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":"Q760418$1203DA00-F4F8-49E5-B4E3-A83A4246A484","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bcbaebd168cd4b7083d8462dbd58950115d6f8ea","datavalue":{"value":{"text":"Distributive semantics for nondeterministic typed \\(\\lambda\\)-calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q760418$D8805A3B-B430-4C34-9843-3209523F625C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3a3b533f1bc67b6d49bca595516dd52d85f5278","datavalue":{"value":"0555.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760418$B46BBCE7-BB45-4E58-80ED-59E1FC9F0FAF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ff3d94e5e09b95948678822560b9830ef7d27411","datavalue":{"value":"10.1016/0304-3975(84)90027-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760418$1A7CFBCE-E8FA-4851-9CDA-85CCE5C196CA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"278d84a31aa4d41905d8d358c66cb65e85593d8f","datavalue":{"value":{"entity-type":"item","numeric-id":673182,"id":"Q673182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$339F58E0-8020-446D-AD91-8D101580B9A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b97cf78de40b88a7d10e29595ef89d14c9040b2","datavalue":{"value":{"entity-type":"item","numeric-id":760417,"id":"Q760417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$39180AE8-E318-4F06-9D5F-8CD0496F7CD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$A45CA2AE-8255-4F7F-98D0-9670B66AE23C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q760418$9976C8E4-FF1D-4770-B2D8-9E605741C74A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a727a09059aea3f730153f7a8d2a53041a3d98b","datavalue":{"value":"The paper presents a treatment of applicative languages based on the typed lambda-calculus enriched with a nondeterministic binary choice operator. The main aim of the paper is to give a semantics for the nondeterministic typed lambda-calculus which preserves the corresponding deterministic equivalences from the calculus without the nondeterministic choice operator. This aim is realized via giving an operational semantics of the calculus, using sharing technique preventing undesired duplicating of nondeterministic redexes, and the corresponding fully abstract (in the sense of Milner) denotational semantics, developing a theory of distributive models with the distributivity as the denotational counterpart of the sharing. The paper provides extensive motivations and the approach is exemplified on the language NDPCF.","type":"string"},"datatype":"string"},"type":"statement","id":"Q760418$52527035-527A-4840-822C-9944C7C932E2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760418$39634521-C2ED-4CCD-9382-B683BC00BE4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760418$7A4606B9-B27B-436F-B700-1127AD53F0E8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee9b82d04b3680232367d3aa5114884049d48d86","datavalue":{"value":"3884132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760418$CFA9BBAB-3428-4E36-8CD5-6C3834ECF25D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d0073ba55ae105b2556f4c32ca3f7db9cb1c81","datavalue":{"value":"nondeterministic languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q760418$A2E56293-7326-4ABA-A446-E01B2F6D1C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q760418$7C5E0664-74FC-4C39-9B7D-E8AABC6F71B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"278e23a8c5e390363107bf5884884d2b6a903737","datavalue":{"value":"fully abstract models","type":"string"},"datatype":"string"},"type":"statement","id":"Q760418$1B7DFBD4-52E3-40E3-A9E7-06E9DF62789F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21bd8640a48a43f33083efd421e4f1a645de9b80","datavalue":{"value":"applicative languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q760418$C3B2D61E-6CBA-426F-AC18-7ECF72C9D005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q760418$208AC725-B434-48A4-8E3D-9551DBE9233B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a85b159f7a1c60a1a80d28fcfabea9517f13b726","datavalue":{"value":"nondeterministic binary choice operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q760418$CA7958ED-401D-440C-B601-2BDE35BF12E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q760418$FC220CD3-06C5-45CC-BACC-0075065FBFE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q760418$1F47BA67-66EB-4EAB-A752-9F5B187EBC54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61e2d956d6d4e347a6f3c65650a8c0809a6eb480","datavalue":{"value":"distributive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q760418$2B3A5EFB-A5B5-47A8-B6B4-9034EACDC49E","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"828dfc38786d2049fd79af4c315ff0a16e6bc429","datavalue":{"value":{"entity-type":"item","numeric-id":1188836,"id":"Q1188836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$0988DCCA-CB75-4176-AC6D-09C54D8CBEE0","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":"Q760418$990DD8A8-A845-4422-96EC-B5BFC4A99A6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0f413a39452ed0345c636fa3410e641f87c9eec1","datavalue":{"value":"https://doi.org/10.1016/0304-3975(84)90027-6","type":"string"},"datatype":"url"},"type":"statement","id":"Q760418$CC87E97B-FA30-403F-96FB-6DFCB0EE1086","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f87949e1cf742db16ab4d7586381fd8ff7505342","datavalue":{"value":"W1996751264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q760418$0C7F35BE-2D26-47ED-A0B4-610F442F83BE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a62106638b0daa1661fe7e72ad30130dca9f82","datavalue":{"value":{"entity-type":"item","numeric-id":4191570,"id":"Q4191570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$A8725165-B1D4-4CBD-BCDA-DBD1C7BD703F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39278001a75d3220a3183d2b3f63c77eda552852","datavalue":{"value":{"entity-type":"item","numeric-id":3947101,"id":"Q3947101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$FF92C3DF-3F07-453E-966F-39F4FD437118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e242ce755bdf300b1be26a082354c4b41ab41d5e","datavalue":{"value":{"entity-type":"item","numeric-id":3883492,"id":"Q3883492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$2EA887A2-1CDC-4523-ABAD-C079820FEA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c6eb8b3ed75272d1a222dfa4e01e662b05ef011","datavalue":{"value":{"entity-type":"item","numeric-id":4139647,"id":"Q4139647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$3DDE3004-BBEF-4B02-AD6C-53861DDADC15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"425d125c03bb8ddab42a5c649997600ed2010462","datavalue":{"value":{"entity-type":"item","numeric-id":3206309,"id":"Q3206309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$78BDA195-8E26-4880-B956-B278A7EDA944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f19cc737ef35dd518b59d5dab7e177d24377469","datavalue":{"value":{"entity-type":"item","numeric-id":3912568,"id":"Q3912568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$6549877C-82F5-409D-8161-3AC3425B033B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66f550f3f836fe33c3fe7241dfb01c20ae6aad54","datavalue":{"value":{"entity-type":"item","numeric-id":3912004,"id":"Q3912004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$D2B9A057-236B-44DB-98BF-9052C3167623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8025965c2231d95612a82c35ba4712673d1711cc","datavalue":{"value":{"entity-type":"item","numeric-id":1131833,"id":"Q1131833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$EE333EE3-72AD-4913-875A-3B4136375125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea07f78aaa058ba88899018a79485b125d94e382","datavalue":{"value":{"entity-type":"item","numeric-id":3205213,"id":"Q3205213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$63F7258B-D073-4551-82BD-7499C4C84E6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6c7e9bd5b455b250988ad35c4abcce717bbb838","datavalue":{"value":{"entity-type":"item","numeric-id":4160405,"id":"Q4160405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$059D2571-FDA1-432C-AC93-8751D389F07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$B5B9B95B-D326-4D00-BD1F-DCC147285FF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67dcc2c4572fa2102c218c9860d413453b282542","datavalue":{"value":{"entity-type":"item","numeric-id":4159365,"id":"Q4159365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$D160F615-6F2B-4AAF-B060-BF9898D7FA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68e3697952a379e5dc856805691deee313dd3520","datavalue":{"value":{"entity-type":"item","numeric-id":1152949,"id":"Q1152949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$C01EE137-100B-4635-9841-58224272DB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68b7535936022f5c60af89f9e74af92a70ed79f3","datavalue":{"value":{"entity-type":"item","numeric-id":3878733,"id":"Q3878733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$70F50E37-3916-466D-B022-89290D7AAE7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7560176ee9344738b39a58f90e743f7119d6409","datavalue":{"value":{"entity-type":"item","numeric-id":3939778,"id":"Q3939778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$94F90EEE-E64F-4547-8981-809F31FA4147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6fe3949a60e4535ad5a0b04a8726d37af9ca0c6","datavalue":{"value":{"entity-type":"item","numeric-id":1249567,"id":"Q1249567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$D7B85939-01C2-45BD-A2E9-CD34AF3D89B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a73ff375e77f6f059157734d8521bed22a725826","datavalue":{"value":{"entity-type":"item","numeric-id":4051641,"id":"Q4051641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$397C5491-5C4D-4DD6-BFEE-4E05EB8F0162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$977A5D0D-AF16-44F2-8B6F-703CC164D14C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26844ae575fb4cdebf73566954301f72a527cecf","datavalue":{"value":{"entity-type":"item","numeric-id":1243117,"id":"Q1243117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$9F666E6B-4011-43AD-A969-EE0AB62682A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de48729812ad7056d8d65b30969b3bb5e5118882","datavalue":{"value":{"entity-type":"item","numeric-id":4195918,"id":"Q4195918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q760418$29D18D50-6E86-46D3-9566-3405B8AC9A90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f536895003c10dac6aac53c6b63d3c3307f81ab","datavalue":{"value":{"entity-type":"item","numeric-id":2508325,"id":"Q2508325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69980b831461b331d3b491ff42c75ad72ec98b5c","datavalue":{"value":{"amount":"+0.8403793573379517","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":"Q760418$AAA9BFE1-CBE6-4759-AF7D-72BE1FAC6603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d02ae4e2f6c1a09d84ea37b2923286c41e7e6fc3","datavalue":{"value":{"entity-type":"item","numeric-id":2905328,"id":"Q2905328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a488cc712b7e67969eeb7693e703dadd994d42","datavalue":{"value":{"amount":"+0.7965094447135925","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":"Q760418$6026DAC7-40BC-4BD3-B02E-D82DD7DB026B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bccf917ee0994faa5593abf83b3886c739515591","datavalue":{"value":{"entity-type":"item","numeric-id":4222765,"id":"Q4222765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8106ba662a141e6a647700f1457c4d2b9977d1b1","datavalue":{"value":{"amount":"+0.7764601111412048","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":"Q760418$9C70E2D3-150A-4166-9E7A-F48D86157F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d54fb7e26b42cd1a3563fe57dab8070416afa48","datavalue":{"value":{"entity-type":"item","numeric-id":1575887,"id":"Q1575887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e545ce2b2f6e57ba18941180ab1b2277ef5975e6","datavalue":{"value":{"amount":"+0.7761374711990356","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":"Q760418$47D1EF87-C763-4796-8B05-6A2979B55455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68b667b5c2513eb1167b64e74ceb7956e1a344b2","datavalue":{"value":{"entity-type":"item","numeric-id":5234278,"id":"Q5234278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b768c916b9090f02c2a721b7f7d319e53acb05f","datavalue":{"value":{"amount":"+0.7694445252418518","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":"Q760418$A52D5F1D-37E0-4D82-8689-6FAD1AB63FB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Distributive semantics for nondeterministic typed \\(\\lambda\\)-calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Distributive_semantics_for_nondeterministic_typed_%5C(%5Clambda%5C)-calculi"}}}}}