{"entities":{"Q684571":{"pageid":686420,"ns":120,"title":"Item:Q684571","lastrevid":63584163,"modified":"2026-04-11T14:09:29Z","type":"item","id":"Q684571","labels":{"en":{"language":"en","value":"Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 419014"}},"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":"Q684571$AA16BFA3-E6C5-456B-ACFC-63C225603CF8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d91be74fb1171315b6ac437549a51c005d381bd0","datavalue":{"value":{"text":"Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q684571$91644C3A-FB4F-457F-B319-4D14C0E2F7DD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efb160a28a26ab452764684eb63b2b3eab9a1ec4","datavalue":{"value":"0866.00038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684571$B4B9B72B-286D-43D4-BB56-E29D56CE75D1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684571$E32E5DAE-77C1-4D0B-94F9-2CF859496E43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fc70e0fe82d354b90b4fac4c3dadc569c3253975","datavalue":{"value":{"time":"+1993-09-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":"Q684571$BD3E1A44-FB1C-43E2-8C39-A75BBE111DC2","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4301fd288f3ca666a223157e92ac388c59ce2eb5","datavalue":{"value":"The articles of this volume will be reviewed individually.  Indexed articles:  \\textit{Akama, Yohji}, On Mints' reduction for ccc-calculus, 1-12 [Zbl 0786.03006]  \\textit{Altenkirch, Thorsten}, A formalization of the strong normalization proof for system F in LEGO, 13-28 [Zbl 0797.68095]  \\textit{van Bakel, Steffen}, Partial intersection type assignment in applicative term rewriting systems, 29-44 [Zbl 0797.68091]  \\textit{Barbanera, Franco; Berardi, Stefano}, Extracting constructive content from classical logic via control-like reductions, 45-59 [Zbl 0788.68016]  \\textit{Barbanera, Franco; Fern\u00e1ndez, Maribel}, Combining first and higher order rewrite systems with type assignment systems, 60-74 [Zbl 0788.68079]  \\textit{Benton, Nick; Bierman, Gavin; de Paiva, Valeria; Hyland, Martin}, A term calculus for intuitionistic linear logic, 75-90 [Zbl 0795.68127]  \\textit{Berger, Ulrich}, Program extraction from normalization proofs, 91-106 [Zbl 0788.68015]  \\textit{Castagna, Giuseppe; Ghelli, Giorgio; Longo, Giuseppe}, A semantics for \\(\\lambda\\)\\&-\\textit{early}: A calculus with overloading and early binding, 107-123 [Zbl 0797.68027]  \\textit{Di Gianantonio, Pietro; Honsell, Furio}, An abstract notion of application, 124-138 [Zbl 0788.68090]  \\textit{Dowek, Gilles}, The undecidability of typability in the lambda-pi-calculus, 139-145 [Zbl 0788.68017]  \\textit{Ghelli, Giorgio}, Recursive types are not conservative over \\(F_ \\leq\\), 146-162 [Zbl 0786.03012]  \\textit{de Groote, Philippe}, The conservation theorem revisited, 163-178 [Zbl 0795.03020]  \\textit{Hyland, J. M. E.; Ong, C.-H. L.}, Modified realizability toposes and strong normalization proofs, 179-194 [Zbl 0793.03079]  \\textit{Jacobs, Bart}, Semantics of lambda-I and of other substructure lambda calculi, 195-208 [Zbl 0795.68126]  \\textit{Jacobs, Bart; Melham, Tom}, Translating dependent type theory into higher order logic, 209-229 [Zbl 0788.68130]  \\textit{Jung, Achim; Stoughton, Allen}, Studying the fully abstract model of PCF within its continuous function model, 230-244 [Zbl 0788.68021]  \\textit{Jung, Achim; Tiuryn, Jerzy}, A new characterization of lambda definability, 245-257 [Zbl 0795.03021]  \\textit{Lei\u00df, Hans}, Combining recursive and dynamic types, 258-273 [Zbl 0795.68029]  \\textit{Leivant, Daniel; Marion, Jean-Yves}, Lambda calculus characterizations of poly-time, 274-288 [Zbl 0788.68051]  \\textit{McKinna, James; Pollack, Robert}, Pure type systems formalized, 289-305 [Zbl 0835.68068]  \\textit{Nipkow, Tobias}, Orthogonal higher-order rewrite systems are confluent, 306-317 [Zbl 0789.68081]  \\textit{Otth, Daniel F.}, Monotonic versus antimonotonic exponentiation, 318-327 [Zbl 0811.68104]  \\textit{Paulin-Mohring, Christine}, Inductive definitions in the system Coq; rules and properties, 328-345 [Zbl 0844.68073]  \\textit{Pierce, Benjamin C.}, Intersection types and bounded polymorphism, 346-360 [Zbl 0788.68022]  \\textit{Plotkin, Gordon; Abadi, Mart\u00edn}, A logic for parametric polymorphism, 361-375 [Zbl 0788.68091]  \\textit{Sieber, Kurt}, Call-by-value and nondeterminism, 376-390 [Zbl 0788.68092]  \\textit{Springintveld, Jan}, Lower and upper bounds for reductions of types in \\(\\lambda{\\underline \\omega}\\) and \\(\\lambda P\\), 391-405 [Zbl 0795.68028]  \\textit{Takahashi, Masako}, \\(\\lambda\\)-calculi with conditional rules, 406-417 [Zbl 0806.03014]  \\textit{Urzyczyn, Pawe\u0142}, Type reconstruction in \\(\\mathbf F_ \\omega\\) is undecidable, 418-432 [Zbl 0791.68059]","type":"string"},"datatype":"string"},"type":"statement","id":"Q684571$8F4DCDE6-B96D-45EA-86CF-CA3B835CAFE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684571$2C2F696A-FF16-4B8F-A421-895AE7920072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684571$404EA7ED-E3D4-49CA-B05E-BF48F5F8B59B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684571$0C02939F-CC5D-4223-9D80-8B8DE3A78930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684571$F0795B6E-AD2E-43D1-B12F-5834F9E57B65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c3f04b4f51790d00dc628af1a50ca521ada8aa6","datavalue":{"value":"419014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684571$743EB715-DB76-461D-8307-8BD21B0F9258","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96f1733eb65760793ee50fc1502fb8355f313e70","datavalue":{"value":"Utrecht (NL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q684571$A774EA7D-374F-4E30-887D-767EB3B58E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q684571$7A27F043-94DC-4901-A04E-B6C9DF79035D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q684571$1838CB60-95BF-4F66-8B8D-A43C49B8FD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc7044017cffe00774731d4d1f96bca8cfd4ce47","datavalue":{"value":"TLCA '93","type":"string"},"datatype":"string"},"type":"statement","id":"Q684571$3CBD67E6-35E6-408F-AFF1-1B76BC93AB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"34a18c590793ec921d886d5ad251be387095cc31","datavalue":{"value":"Lambda calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q684571$AB62BE4F-87E8-473B-A91B-776C0CA8B7BE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q684571$952B3DC8-147B-42A0-BD67-D5488DEA724B","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":"Q684571$290293E9-6CC4-46C7-BE5F-5AA40F886598","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc21622ee77b3e29f286f61eb35f55a902f7799f","datavalue":{"value":"https://doi.org/10.1007/bfb0037093","type":"string"},"datatype":"url"},"type":"statement","id":"Q684571$2A6C8423-9923-4BE9-B839-9015CD8FB1D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c51072a91ad5b07bb50ae517d1887571549ab8f","datavalue":{"value":"W3143737500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684571$02336DCE-C19F-4034-9207-41711F350869","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b72068b4769b7b701c0e51ff5cfdd30546306c9","datavalue":{"value":"10.1007/BFB0037093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q684571$840FD8B8-E60F-4912-ACE1-3F82D3EBDAAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed79164f619064daa956fc1c46f89ad8049f77c1","datavalue":{"value":{"entity-type":"item","numeric-id":1952566,"id":"Q1952566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb52513d3e1e1dd6b4fa11dd91bdfe7fe91139a","datavalue":{"value":{"amount":"+0.9631372","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":"Q684571$1CD7B01D-3DE2-4005-8302-7492B11E2FB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60d812e730248fcc7ff87dfa5127091238bb61b","datavalue":{"value":{"entity-type":"item","numeric-id":1880410,"id":"Q1880410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07eece9ef1dc670f884e5da9e179b747ae5a2ee","datavalue":{"value":{"amount":"+0.9496895","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":"Q684571$E27DD945-955D-4BA8-80D3-B87D21BE097F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc734a39856c4269c85cbd29bae97ba495c6fc1","datavalue":{"value":{"entity-type":"item","numeric-id":1284360,"id":"Q1284360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaef4a32a51d8acf9011b29b9ac9692c54be1ffb","datavalue":{"value":{"amount":"+0.9463662","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":"Q684571$5D088050-D8AE-49CD-B04F-3E70DE5B4096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b8f65e769938ab4cd3bbc0e42779553d0e52a1c","datavalue":{"value":{"entity-type":"item","numeric-id":1805041,"id":"Q1805041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d2ad1902994a1890c127d2ce5646181d2f710de","datavalue":{"value":{"amount":"+0.9397441","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":"Q684571$E623F3C0-F96C-4DBC-94F4-0F88A8DA82EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac177eb9837b1fe1a9fe405906d81fcb45347bf","datavalue":{"value":{"entity-type":"item","numeric-id":1418347,"id":"Q1418347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0b49ed2d5d43c34d3ccaacd4527237b1bad5e8b","datavalue":{"value":{"amount":"+0.93876344","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":"Q684571$90730D64-834F-4DBD-888C-C6A31FFA68C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8d3a96f855a6dd559cb9732cac5b0ef7d233f6c","datavalue":{"value":{"entity-type":"item","numeric-id":5933584,"id":"Q5933584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"740a0f85911c3782b95f0d92c22a2c967af7f39a","datavalue":{"value":{"amount":"+0.9236394","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":"Q684571$EA4F9E30-797B-4E1A-BB29-2238C0A71828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0de90963e29c5f9c53b747f1a905ab21a222e9de","datavalue":{"value":{"entity-type":"item","numeric-id":2565503,"id":"Q2565503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6d232678ca71fac26c43bea0e4df06037ce2d50","datavalue":{"value":{"amount":"+0.920787","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":"Q684571$BB361656-DD31-411C-9754-280FEF7C7E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da5d053fbf4aa729f54bfcea83aa7cd6a795574","datavalue":{"value":{"entity-type":"item","numeric-id":3837983,"id":"Q3837983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"141681acfc1103658f02589a9889daa8193625f6","datavalue":{"value":{"amount":"+0.91908205","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":"Q684571$7A2B39BD-BB51-47BB-B09F-152F5C7C0F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de7a22e96c3db1a73142115b91080e8cab820b7","datavalue":{"value":{"entity-type":"item","numeric-id":5695367,"id":"Q5695367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"292fa7d1b3eb6df1f99081e0a12609e07f589c35","datavalue":{"value":{"amount":"+0.9179463","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":"Q684571$15B5BB97-1E7F-4A2F-9B31-E7B6E940048B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typed lambda calculi and applications. International conference, TLCA '93, March 16--18, 1993, Utrecht, the Netherlands. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Typed_lambda_calculi_and_applications._International_conference,_TLCA_%2793,_March_16--18,_1993,_Utrecht,_the_Netherlands._Proceedings"}}}}}