{"entities":{"Q1271311":{"pageid":1282061,"ns":120,"title":"Item:Q1271311","lastrevid":67431369,"modified":"2026-04-12T17:41:49Z","type":"item","id":"Q1271311","labels":{"en":{"language":"en","value":"An interpretation of typed objects into typed \\(\\pi\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1221971"}},"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":"Q1271311$B6A1AE07-8320-44FF-BFBD-15544C259574","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6f26877c1253c2d1c0613783cbcde30ee296f127","datavalue":{"value":{"text":"An interpretation of typed objects into typed \\(\\pi\\)-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1271311$E77C291E-071F-4FF6-93E2-79BE3723D3A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3e5428d920e91d7643a8fdbeeaf7390876c44ad","datavalue":{"value":"0914.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271311$6C8BF868-7D66-4637-BEB8-ABD83060FADF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$47FAF900-8795-4F67-9026-2BDE9A1CD0EB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$57152A4A-5C92-4FEC-9A4A-4B438C63A9C3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35b3a064d7682b9a13e9899ccb5eebd1ef0414e7","datavalue":{"value":{"time":"+1999-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1271311$25D0D7D6-3BAC-4AE2-B2C1-0D650FEB0D31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271311$A15A7742-6718-44C2-B16C-7ADB6C491FFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271311$BED3B4CF-0379-4639-BB4B-A8FD26D9BFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271311$4EC8A315-A715-4837-A1CE-116B341A9EA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bd705b78457964af7ff69d25ab089abd88d9f508","datavalue":{"value":"1221971","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271311$DAE47FEC-D1EC-4E47-B920-630532B28B6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b84246d9df149fdf9be63866576d200496f6b732","datavalue":{"value":"object calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271311$3E45B6B6-4EC0-45C4-AB27-3AB4B0189C26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c53953078d2684b871dff4af5371c5174b168466","datavalue":{"value":"typed \\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271311$A5906F92-01AE-45FA-857D-D546C0ED1A37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"543b5b6936751d447dfb75294948e5dafde0cec3","datavalue":{"value":"subtyping","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271311$F2E91641-E510-410B-B0ED-0F0B9FD706F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abcb8a5b3af8770f764873d0eafebd3c934a879d","datavalue":{"value":"typing","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271311$7652E81D-73B6-4243-8393-1C3620DEDE4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24fb37cb5a63f1dd1f6cc11d85eefddedc3be392","datavalue":{"value":"object-oriented language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271311$E1687B32-0942-44F3-9D29-D3D9F43345C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271311$C84FF03E-3AFC-418A-984A-AC4BBD3FE8CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53f776d2cdeac0334fd56d78a6623b26e2f9bd9b","datavalue":{"value":"variant types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1271311$0669433C-72E7-4772-BFAB-8648FA38D7C5","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":"Q1271311$5C109568-1B92-4948-813B-B86C5BB75E90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a69d11c31bf02d38f48cd7ab0d7d2538bb47443","datavalue":{"value":"https://doi.org/10.1006/inco.1998.2711","type":"string"},"datatype":"url"},"type":"statement","id":"Q1271311$572CB049-D81A-44DB-80E8-317C24567213","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f60df84e68ff520f634319c235b03ead421db8c2","datavalue":{"value":"W2047084525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271311$680E9446-200B-41F9-9143-CE58DFC54B31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8794348f4654e36388d043f7a19e6470c0ded07e","datavalue":{"value":{"entity-type":"item","numeric-id":4490733,"id":"Q4490733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$2FC34140-96D6-41AB-87AA-A4EA47603313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8418fbcfde121d5ea3f530c7d7673c380b804d0","datavalue":{"value":{"entity-type":"item","numeric-id":5096750,"id":"Q5096750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$DA9E39BA-421C-4EA8-9CFB-0BACCCCA3143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69aa9e100c0e3e2f63d67ab0234724f0c2f66211","datavalue":{"value":{"entity-type":"item","numeric-id":909434,"id":"Q909434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$7EF23EC5-09AD-47A5-A9C5-432931844173","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":"Q1271311$3E76D239-8509-4E66-A041-82D5FDFC91B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b63e0e1ac57986b7d80b94330b7f752779733ac6","datavalue":{"value":{"entity-type":"item","numeric-id":1276243,"id":"Q1276243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$234F5354-BDEF-406E-97EC-6F16E6E50DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90a1c103cc309b142254482bc5ba593c28f76758","datavalue":{"value":{"entity-type":"item","numeric-id":701046,"id":"Q701046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$B1F0C023-9703-415D-9FAA-52DEF9241143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"440648957f50d01b9b970fae682cab6f3d1f5f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1274970,"id":"Q1274970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$482B774B-FB3A-4AF1-B9C2-C6A0C22861A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3863b259e80d122120a6fe64081f55106cd9f54f","datavalue":{"value":{"entity-type":"item","numeric-id":4017458,"id":"Q4017458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$769FE25E-E211-427F-B665-6B7175731BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$98834DB6-2C28-48BC-A167-CE6309B1AF1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d017fc456fa722f7c0dc16a7917d9f23aeda4b4","datavalue":{"value":{"entity-type":"item","numeric-id":5204357,"id":"Q5204357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$08BFC572-838F-408D-BD02-F0D9348CC762","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c69949411e0448157ffe297fb9882fbbf0bc439","datavalue":{"value":{"entity-type":"item","numeric-id":2956693,"id":"Q2956693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$94AA859F-8A84-403B-81F9-B3CD9993B864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65ad711d725f7c7ce38cb04914fbe94f61b532","datavalue":{"value":{"entity-type":"item","numeric-id":3837262,"id":"Q3837262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$EB94DDDD-18E5-4789-BCF5-EF7FDB06EA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6539d5629d4367b6fd5576d875a0201cf43faff8","datavalue":{"value":{"entity-type":"item","numeric-id":690309,"id":"Q690309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$DE34944A-E7C7-459C-A5AD-7A1032399B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db190668a33e10fd7ad9de1c45951ca622381f5b","datavalue":{"value":{"entity-type":"item","numeric-id":1891152,"id":"Q1891152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1271311$F1AEB302-D784-4B5D-ADEF-06B253C799A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ce56824fda68b8ab5176ad6125734823aff4952e","datavalue":{"value":"10.1006/INCO.1998.2711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1271311$09A239A9-311E-4031-A02C-EB7435FEEE89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ea0a69a641efcf9edb24fd49194f925ff911754","datavalue":{"value":{"entity-type":"item","numeric-id":5178880,"id":"Q5178880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7e60b9735e1a6e73f9164120755b82501fb3ce","datavalue":{"value":{"amount":"+0.9194977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271311$93702DE3-3151-42F5-A84E-AB753DED726F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93976a1c4eac2f8655be149b663ea6dcc21b46d","datavalue":{"value":{"entity-type":"item","numeric-id":1884932,"id":"Q1884932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97b477696237e81ba9fc49cd3d610d46d0d8b741","datavalue":{"value":{"amount":"+0.9121235","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271311$57E62074-7ED1-459C-AC7A-EF3EEA78CF7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b492c1e4a547e4a2af939b4d49287251de62f69","datavalue":{"value":{"entity-type":"item","numeric-id":2387197,"id":"Q2387197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa3799b2f804d1476e648e9b2b3b710a2144d4af","datavalue":{"value":{"amount":"+0.90572655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271311$F3AEE270-64DE-4978-9AC4-1A05FC2301AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37400d4100f52469e107d416939db13b17584959","datavalue":{"value":{"entity-type":"item","numeric-id":3408131,"id":"Q3408131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"824fba5f70758d10a1e704c5f94e7a68e78b8634","datavalue":{"value":{"amount":"+0.90000176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271311$8261210B-E466-4748-BD16-BBB952BF3316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"12fc1a2577882518679baad3b0b179d171c5a0d5","datavalue":{"value":{"entity-type":"item","numeric-id":2642466,"id":"Q2642466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a61d5f545ad20f4339c804182183f30d2bf5590d","datavalue":{"value":{"amount":"+0.8987429","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271311$D743C2C9-CEDB-478C-8494-C22D8C780B1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1749e59eb655c19def279088e928b0d2abbb6546","datavalue":{"value":{"entity-type":"item","numeric-id":5277971,"id":"Q5277971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"664a0f194a54f22151bc52d310752730d5746df3","datavalue":{"value":{"amount":"+0.8987033","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271311$942D57BA-D233-4A5F-8F8B-5CF11CB72AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d137986f3dc22bc7b0d815cd3bc6f3b059425f28","datavalue":{"value":{"entity-type":"item","numeric-id":1589654,"id":"Q1589654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dfedee080510dfecb53b17bdab5fa58bb8eb6ad","datavalue":{"value":{"amount":"+0.89772636","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271311$201C48BA-E442-4F76-9018-DA454C037384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8082d180879e3dcab8a86a197e17e4fa41ecbd1c","datavalue":{"value":{"entity-type":"item","numeric-id":5096237,"id":"Q5096237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8076ef014dfd2f293300feb42cb8cf95dcdc204","datavalue":{"value":{"amount":"+0.89662164","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271311$81155F7E-FD5A-460F-8BA3-816D1D90EE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d4c80a1a444693600c0fbe85cb8e5daca0ebb56","datavalue":{"value":{"entity-type":"item","numeric-id":4703885,"id":"Q4703885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4932738cdd4bd67770fc17db0b4921f5465a982","datavalue":{"value":{"amount":"+0.8964469","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271311$103970DF-3548-45D1-A509-DBCE584A2BFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c1815bf0656f13c667314002ab0a2238bf23109","datavalue":{"value":{"entity-type":"item","numeric-id":5479273,"id":"Q5479273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6405dbc84a3cd84092eb958cb8b36e86472f0d7","datavalue":{"value":{"amount":"+0.89392364","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1271311$5E553C4A-368E-495A-BE10-CEF161F27809","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An interpretation of typed objects into typed \\(\\pi\\)-calculus","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_interpretation_of_typed_objects_into_typed_%5C(%5Cpi%5C)-calculus"}}}}}