{"entities":{"Q1091379":{"pageid":1102131,"ns":120,"title":"Item:Q1091379","lastrevid":49078666,"modified":"2026-01-06T13:47:28Z","type":"item","id":"Q1091379","labels":{"en":{"language":"en","value":"The system \\({\\mathcal F}\\) of variable types, fifteen years later"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4010479"}},"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":"Q1091379$5F3D01B5-42CE-4B6B-B63A-334FD30C39A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"31d5e86601b702460b7bec7793b23ae2cfb5c35a","datavalue":{"value":{"text":"The system \\({\\mathcal F}\\) of variable types, fifteen years later","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1091379$FAFF9C64-34A5-4CC0-9428-61236E7A19B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b70d9888392b0d82ec02607ac8fb73e35268d34","datavalue":{"value":"0623.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091379$308586D2-2417-4E7F-8EA2-75AF4C0A4451","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"089a3aab890a90731e762b91ab7f6f3db90a23e2","datavalue":{"value":"10.1016/0304-3975(86)90044-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091379$04599F7D-FC71-4486-B4A5-EE2B099B473D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d6b929913024f5e29c5ce062084dc3d0e1a3509","datavalue":{"value":{"entity-type":"item","numeric-id":534693,"id":"Q534693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091379$C496905B-5DF4-4269-B8B6-F09784525286","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":"Q1091379$4924C43D-325C-4F0B-B117-A51BDFEEDC1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q1091379$07D2CF6A-E318-4834-B634-B3D9BEFADA32","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"99d2ce36ee2e24ba3e94c85915cd19d5aaec3112","datavalue":{"value":"The paper concentrates on the construction of a suitable semantics for the system F of variable types, i.e. schemes of abstraction with respect to types. The main problem in finding interpretation of terms of variable types is connected with generally unrestrained formation of type abstraction and the schema of evaluation of functions of universal type. Since its formulation in the system F, the idea of variable types has become a common idea in computer science. However, there has not been much progress in the underlying theory. The author develops a semantics based on the category-theoretic notion of direct limit, allowing to describe the behaviour of a variable type of any domain by its behaviour on finite domains only. To do so, an original construction is introduced, viz. the qualitative domains, which present a refinement of Scott domains. The interpretation obtained is demonstrated on simple examples, a small universal model (''the intrinsic model'') of lambda calculus is defined, and the concept of totality is discussed.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091379$F345BF11-4F71-4AF9-BC89-261B2F1A5935","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091379$FBEECDF6-06A6-4B87-993F-7D97E646A546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"479a672951288aabf3a4041e0fb71e1dda5dffff","datavalue":{"value":"18A35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091379$A00E0A51-B67A-4839-A91F-8D4404653F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091379$947BB43C-06BB-4B57-81DB-88F53896416D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d2baf3727d30af3a14b44f132227151a59326c14","datavalue":{"value":"4010479","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091379$55697655-B4E2-4D7F-A9DF-1F3F91AFDD06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c47bd69800ec9a3c8fdb3c483630a46ac282cb0d","datavalue":{"value":"polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091379$55E424BF-1A5F-4C53-AE1C-836F1700CE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ced5665202ad838a2b26e5c07283bb70811d2155","datavalue":{"value":"models of lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091379$460558A5-CA34-4F7A-801C-84B351D88E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091379$5BBBB228-51CC-4399-97BF-892FEDF07D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72acf2cf525c96ccf5e10ae8d8c56c45175e5488","datavalue":{"value":"system F of variable types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091379$8CE7DDDB-D3F6-4D97-AF3D-65BFD7A040BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da379a88bde1864c002476b98579917d48414d30","datavalue":{"value":"type abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091379$44ADC73E-E13F-4AE7-98F0-07667531D480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72be51c024d280b2a49b2c8a4b6b8edddf134479","datavalue":{"value":"direct limit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091379$BA878F54-8F2F-49AB-8D1B-640B9E154923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9f10c41064384fcf055f75530010cda63ebbc1a","datavalue":{"value":"qualitative domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q1091379$4FA82C14-24C9-4BD6-984E-F881DC171226","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c573d322f3633a2f3349d0b8f06a6bc1db837d09","datavalue":{"value":"Q56430852","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091379$6A1C3366-361B-49E4-A880-4965FC7E1D1B","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":"Q1091379$E5C937F4-357D-40CD-A582-8BE34FDD5067","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":"Q1091379$079490D9-98AC-4D74-B15F-93E3E27D24BC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"450c31163cb1b596e886dec7439458df7a55081f","datavalue":{"value":"https://doi.org/10.1016/0304-3975(86)90044-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1091379$9DCBC978-18F6-41BD-AAD2-A18CAB8BBB69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8f28a77c9bb4a182b7468638926b71fb214b9b5","datavalue":{"value":"W2054969282","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1091379$9698D0B4-4C07-4926-AA91-DA8210205FE4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cb3fb1f5163c51d21987992526ad7f1b03bc113","datavalue":{"value":{"entity-type":"item","numeric-id":5625124,"id":"Q5625124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091379$1EC4531F-BB20-443B-8DC2-DF7E9B1D0C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"222bae4d3910a5fbb02405991e34129364c8f15f","datavalue":{"value":{"entity-type":"item","numeric-id":4773684,"id":"Q4773684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091379$05840340-D95B-407A-A4AD-F5B52DDE3965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091379$79F1F8F9-8475-40F6-917B-C55967F8F651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f857559f497d88c44e56392a1ad488904465dae7","datavalue":{"value":{"entity-type":"item","numeric-id":3959414,"id":"Q3959414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091379$491E6574-C10F-4834-8156-53625EBAE813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"160a2374c05e466369d09ccede54688eb30beecb","datavalue":{"value":{"entity-type":"item","numeric-id":5183475,"id":"Q5183475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1091379$AC1E9C56-F0E4-46A9-801F-CFF898D5E715","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a21b136084adb6cbb8130b5bff084acf2421a797","datavalue":{"value":{"entity-type":"item","numeric-id":3824315,"id":"Q3824315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd696848d72b0968e8b9037531b6062f2b3acfa0","datavalue":{"value":{"amount":"+0.8008409738540649","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":"Q1091379$F59CFC13-6A3B-437D-96A6-5268FC5D00C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab7212fc42d948e8b9fd1fb20698df1a33ab685","datavalue":{"value":{"entity-type":"item","numeric-id":1107514,"id":"Q1107514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fede847c07c072a3fd878b06663ebc4e689816a2","datavalue":{"value":{"amount":"+0.7849147319793701","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":"Q1091379$2BD77099-6CB0-49EB-937C-A98D81A2EDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc55ff89662a19ca44fc4e65a75d3087d84d21e8","datavalue":{"value":{"entity-type":"item","numeric-id":1329739,"id":"Q1329739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd7ae9fb9e353c89c15c0e562ee193698e6ec60","datavalue":{"value":{"amount":"+0.7710605263710022","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":"Q1091379$FA0CA4ED-2E77-42C8-9CFD-41AA6F362194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44f5a58a3f4a64995639dc67a07532619769267a","datavalue":{"value":{"entity-type":"item","numeric-id":1314363,"id":"Q1314363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbf7264fa3a8abfbbca44b68ea9e9256e24ca51b","datavalue":{"value":{"amount":"+0.7694723606109619","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":"Q1091379$063187ED-FC4B-47C1-9667-198044261781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d9e5dc2968041f4cb2517716fd874284e3ab330","datavalue":{"value":{"entity-type":"item","numeric-id":3483291,"id":"Q3483291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30975c6787d7db6fd7b83fd9bdfd8d67f81bdeda","datavalue":{"value":{"amount":"+0.7668806910514832","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":"Q1091379$D9532897-3CF9-42F0-AA79-446C79B9A25B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1091379","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1091379"}}}}}