{"entities":{"Q801050":{"pageid":802898,"ns":120,"title":"Item:Q801050","lastrevid":48753778,"modified":"2026-01-05T19:10:48Z","type":"item","id":"Q801050","labels":{"en":{"language":"en","value":"The lambda calculus. Its syntax and semantics. Rev. ed."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3877147"}},"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":"Q801050$186AAD9F-D5BE-484B-92BD-6908EFD170FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"813701b2fbd282ea97e541139cccf9281a24d125","datavalue":{"value":{"text":"The lambda calculus. Its syntax and semantics. Rev. ed.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q801050$06AD8416-5F4A-4507-A833-DA0F5C573433","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f10acb0abf78b1d5990fecdb391b350796d2e6a8","datavalue":{"value":"0551.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801050$1848B83C-A360-4604-8085-B0CA34B6D1E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"77409c9e904108aefa46d70345016e61363f1c7a","datavalue":{"value":{"entity-type":"item","numeric-id":801049,"id":"Q801049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801050$77E6F2C5-647A-4782-975C-F8EB47A5653A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9144438c0c6423ef10a9ae011c7a38a1555ba28a","datavalue":{"value":{"entity-type":"item","numeric-id":163604,"id":"Q163604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801050$42AC4C7E-529F-424A-93EE-4E8FEA70B4B1","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":"Q801050$ED553FB9-8A26-4ED7-BAB2-C26CBD090CF0","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"718defae0c96b611d4832b3d3f749de2e069215b","datavalue":{"value":"This revised version of the lambda calculus book by H. Barendregt can be considered as a fundamental work in the subject (for a review of the first edition (1981) see [Zbl 0467.03010]). The various aspects of that calculus have been explored and explained: conversion, reduction, theories and models. After the classical books by \\textit{H. B. Curry} and \\textit{R. Feys} [Combinatory logic. Vol. I (1958; Zbl 0081.241)] and \\textit{H. B. Curry}, \\textit{J. R. Hindley}, \\textit{J. P. Seldin} [Combinatory logic. Vol. II (1972; Zbl 0242.02029)], the lambda calculus community finds in Barendregt's book a very interesting and comprehensive account of what has been done in the area, especially during the 70's and the early 80's. The revised edition of that book gives a closer look at the models of lambda calculus and includes recent results.    Another reference for persons interested in the subject is \\textit{J. W. Klop's} work: [Combinatory reduction systems (1980; Zbl 0466.03006)].","type":"string"},"datatype":"string"},"type":"statement","id":"Q801050$9D082ADD-5455-4D61-8886-853E00362C84","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801050$0B7D31DD-7101-413C-967E-737C2A790DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801050$AFDBDEEB-8006-404D-8883-72627C6A802D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801050$DAD81F66-3C56-41C3-8B7D-FD13171DC3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801050$6C3250C6-E1BD-46D9-84AF-0EB34528463F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801050$2257BBA0-7599-48EA-9DB6-35AD75FBE3E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0206af6a4d1e3254796e070a8703105b640b8af9","datavalue":{"value":"3877147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q801050$0AD362FD-4B68-4BC6-B68B-32C46E2A5DF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4ed4fea13432d188a5ec678aec936f44975a8a","datavalue":{"value":"syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q801050$2AF80374-7A46-4902-BA53-987BBF07B46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q801050$31F8A81A-0FAA-477C-ABB8-40AC2BF94971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce3f7ff6a86072c50e90104de323066f50a120a1","datavalue":{"value":"reduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q801050$335954C0-4BA5-4F23-98F5-A3F1BBD457E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81779747435c1b6abbf4bf8e710d555929388180","datavalue":{"value":"type-free lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q801050$C417C486-700F-40E0-94F0-C0C7316B2EE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a33bfb266517f37c2893982b2b0f9fde5f7330a","datavalue":{"value":"models","type":"string"},"datatype":"string"},"type":"statement","id":"Q801050$77FF42E8-BE05-49A1-8416-1CE3599425E6","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0952533bb8ddf126d68f7cc4b1c2c4ed19555944","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q801050$F0E1AFEA-302D-4444-9AD4-7884D9706B3A","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":"Q801050$8F9594F3-87E5-4DCA-8FF6-42B8533FABE0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72f40193c6f95faa99739874a985f68c583733f2","datavalue":{"value":{"entity-type":"item","numeric-id":4912847,"id":"Q4912847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e294a45bdc0253638a9029ea53984764264acf","datavalue":{"value":{"amount":"+0.8470551371574402","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":"Q801050$55356F1C-F807-4C19-B70D-3B1BB8F4B87D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9492ac52367cd9c745be9207d3ea424ba311914","datavalue":{"value":{"entity-type":"item","numeric-id":3522248,"id":"Q3522248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17f46630ea9767411f915f5531bb5595d2766cbd","datavalue":{"value":{"amount":"+0.8075463175773621","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":"Q801050$73247610-26A1-46F5-B0F0-759B8F995D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"683fc71f98b5813b84ed29294094da4d6b8cfd3a","datavalue":{"value":{"entity-type":"item","numeric-id":4843179,"id":"Q4843179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3963543a03a2efa8c264116f619196cec31f1766","datavalue":{"value":{"amount":"+0.7950273752212524","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":"Q801050$1953F941-E726-48BA-8AF6-3CB0280C4027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b1b310e62d57f37e46737577a8814505c1c8456","datavalue":{"value":{"entity-type":"item","numeric-id":3342534,"id":"Q3342534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3963543a03a2efa8c264116f619196cec31f1766","datavalue":{"value":{"amount":"+0.7950273752212524","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":"Q801050$AAB4DD7D-48A4-4EB7-BA55-91C87CE94141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601b4c2de1b862cd4004936095a4ff27f5861535","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4578014b53e6339972e08ef3dc1b83938fb03177","datavalue":{"value":{"amount":"+0.7901577949523926","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":"Q801050$D2E737B8-2AE3-4FEF-97B0-39F539075F1B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:801050","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:801050"}}}}}