{"entities":{"Q7361940":{"pageid":31521359,"ns":120,"title":"Item:Q7361940","lastrevid":105370475,"modified":"2026-10-07T13:39:10Z","type":"item","id":"Q7361940","labels":{"en":{"language":"en","value":"Logical Relations for PCF"}},"descriptions":{"en":{"language":"en","value":"AFP entry PCF"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08303f5763e230ab9168dc3f5e5182eb2b470906","datavalue":{"value":"https://isa-afp.org/entries/PCF.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361940$5F2BCEBC-8C91-4375-8543-FCA75B1DDC9A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f69d35be588d355c634f9286f2796a9ce76b6d1a","datavalue":{"value":{"time":"+2012-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7361940$BA59F24F-C226-446B-B103-D126DBD03D86","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"81cd49afe7b0c7730911232a5003ad6efb86ef85","datavalue":{"value":"Peter Gammie","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361940$C6401108-8209-4156-A1C9-B128C181D6DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a28dcc033bdea90da957c25d078920fa357498f8","datavalue":{"value":{"text":"Logical Relations for PCF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361940$43E94CA0-7FFE-42B6-B6A1-5DD440CB962C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"df038a9733cab47c9b878ccb22390b0ec546e9dc","datavalue":{"value":"We apply Andy Pitts's methods of defining relations over domains to several classical results in the literature. We show that the Y combinator coincides with the domain-theoretic fixpoint operator, that parallel-or and the Plotkin existential are not definable in PCF, that the continuation semantics for PCF coincides with the direct semantics, and that our domain-theoretic semantics for PCF is adequate for reasoning about contextual equivalence in an operational semantics. Our version of PCF is untyped and has both strict and non-strict function abstractions. The development is carried out in HOLCF.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361940$AB091B51-F8B5-441D-B8E8-04D7C449E671","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb12b188658ef9d46086882edec316113d94d7af","datavalue":{"value":{"entity-type":"item","numeric-id":3899466,"id":"Q3899466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$BB5273E6-0E65-4163-B880-FDB39BC137A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"968fa268cf10fc2b2dcda8706e6d63d8b233c468","datavalue":{"value":{"entity-type":"item","numeric-id":1393394,"id":"Q1393394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$EBD3D3D6-0E2D-453E-BE24-2494267BF2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573bf50881a638b8d1bc1330f0a3383e6e028b45","datavalue":{"value":{"entity-type":"item","numeric-id":4072829,"id":"Q4072829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$F6D4A116-8B45-4895-A879-25288B1BF194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6998adb434207097a33a6b5ff9544d4e37465881","datavalue":{"value":{"entity-type":"item","numeric-id":5178022,"id":"Q5178022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$F201ACB9-6D07-450B-99E6-C7E09D62541C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21696c6ff1814194355f64378a4ee4b398c3f782","datavalue":{"value":{"entity-type":"item","numeric-id":5890041,"id":"Q5890041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$D35327A5-B2F8-4600-8A06-B0447222712B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"669c7030686a92cb7c1289371e5e8dd3ada190df","datavalue":{"value":{"entity-type":"item","numeric-id":5890057,"id":"Q5890057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$3151FF0B-C5FB-4BEB-AF22-326EBB2698DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5bd5a7cbd6b64f2ff6cabe116ecdc79e04a91b","datavalue":{"value":{"entity-type":"item","numeric-id":5747534,"id":"Q5747534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$A0FA6CB8-4AA4-41C7-B5EE-F2435A8177A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"567c965207130078300d6c2483ceecef116d0f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5348924,"id":"Q5348924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$28C7AE42-DF8B-4EB8-8B97-307C746F3A12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1411401d990976dd6c4ba11bddd5ff797d94c0","datavalue":{"value":{"entity-type":"item","numeric-id":5348920,"id":"Q5348920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$0DFFDBAE-00E8-4F05-8D85-653D0D66E47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527cb6da4a755126b7973e88081b63120d878a60","datavalue":{"value":{"entity-type":"item","numeric-id":833466,"id":"Q833466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$F44AB252-D1DE-4C84-9F47-ACBB871421DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73e131859a46cd7e6cb5c96d977e2a4cfcda8f79","datavalue":{"value":{"entity-type":"item","numeric-id":1160116,"id":"Q1160116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$EF17257D-E117-411E-A2DE-D51E262C1C09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3826e9ebeca6b4dcff39b9397214360a6dbca1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3947096,"id":"Q3947096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$52402793-9781-4980-AF4F-DF01D71DACBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a1c16a6602d78f24e060112d1c1a5d7d7a56bf3","datavalue":{"value":{"entity-type":"item","numeric-id":4281486,"id":"Q4281486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$7901B1EE-97F9-4438-938D-064521BBF497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"493557b070d65a66e2016c6c094a57c95522bcfb","datavalue":{"value":{"entity-type":"item","numeric-id":934001,"id":"Q934001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$9C6BD867-7867-4A61-8EC6-0C95895AA475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c704d43a48e07ac24cfe13985bec3bdd1a17595","datavalue":{"value":{"entity-type":"item","numeric-id":834373,"id":"Q834373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$1ADF6546-925B-4884-8AB0-112C528D881D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98b134c489ef3023af867487d565081ebe9b47c","datavalue":{"value":{"entity-type":"item","numeric-id":3183523,"id":"Q3183523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$9E7678FF-DD66-41B1-A3EA-6AAE67D7A90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"933ff89cc5998a8f55afbc41a4b90f3170f8cd61","datavalue":{"value":{"entity-type":"item","numeric-id":3523176,"id":"Q3523176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$8910FC41-459C-49C1-8AC2-A9214C5E3ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbe367300975639b5ced32766a3192e0ebd50725","datavalue":{"value":{"entity-type":"item","numeric-id":5178966,"id":"Q5178966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$32A17244-F712-4324-8022-20720EC320D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6449fa32317f64e0e88162e1e76272b77ced27","datavalue":{"value":{"entity-type":"item","numeric-id":1272764,"id":"Q1272764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$8EEB70F2-03B0-493D-A1B8-D4D1866856F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c9ba33cf0a5c96414d967f656682f6a2f85ca","datavalue":{"value":{"entity-type":"item","numeric-id":3935455,"id":"Q3935455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$548D42C7-3304-4FCA-A3DA-8F0746246FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab11f968a1fe231094f125d88568cff5c0be92de","datavalue":{"value":{"entity-type":"item","numeric-id":1595924,"id":"Q1595924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$827E0D55-630D-47F3-A82A-4137C438D519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f75ab8a42c8bf01013ed2b7a3e88c89c74ac11","datavalue":{"value":{"entity-type":"item","numeric-id":3769943,"id":"Q3769943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$38FFE49B-7A79-4406-8568-3BD2C65697B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$FA2E1A77-3C20-433B-A916-69AECCEC0327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f80bd569568dd60e0aecd80316d7117694212d9","datavalue":{"value":{"entity-type":"item","numeric-id":879354,"id":"Q879354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$71C0FD57-47F7-44E6-98BD-B9D19B292E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8d0c87a102dfbb72d08dbbff01d1e3e0d27dec5","datavalue":{"value":{"entity-type":"item","numeric-id":4288818,"id":"Q4288818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$1AA84BF8-2D37-4E3C-8691-ADF318C86CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923d9841ebb82ba7564626f46c70dd17455ed552","datavalue":{"value":{"entity-type":"item","numeric-id":4267723,"id":"Q4267723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$A9C0DD1D-9E0C-46EF-862F-F520FAD403C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969e70c89af0c23689fd4eefd29af56638af4339","datavalue":{"value":{"entity-type":"item","numeric-id":5168878,"id":"Q5168878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$A32DCE16-DF32-436B-9650-44943A40C002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"800821874c84e7d628c87230f35da15ef2885b6f","datavalue":{"value":{"entity-type":"item","numeric-id":1923093,"id":"Q1923093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$1907C7FC-6582-49BB-92A4-42362CB0AD1F","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":"Q7361940$205308EE-AA15-48BE-9594-0ACB5281146F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"531abc143c539bf5980f3593b87d7cc25d9d1318","datavalue":{"value":{"entity-type":"item","numeric-id":3138547,"id":"Q3138547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$B570BDA7-FD7B-4143-90BE-7AB520692329","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06c35a02114839df8ec37c9b47eb3fe93b7baaeb","datavalue":{"value":{"entity-type":"item","numeric-id":3141916,"id":"Q3141916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$65865ADB-AD9F-49A3-A578-6EB9C2F97EB9","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$FEC9DA6F-2111-4825-9B78-BDF19210712C","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"bbbd01ab6fe9cda8df6fdce217eef2d86891f550","datavalue":{"value":{"entity-type":"item","numeric-id":7360795,"id":"Q7360795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$99A73913-38D6-4E0F-B658-8425DD0935F9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361940$98CCACB9-D0F4-491C-9185-FA19A860CDE4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Logical Relations for PCF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Logical_Relations_for_PCF"}}}}}