{"entities":{"Q1805041":{"pageid":1815783,"ns":120,"title":"Item:Q1805041","lastrevid":72994335,"modified":"2026-04-14T09:15:32Z","type":"item","id":"Q1805041","labels":{"en":{"language":"en","value":"Typed lambda calculi and applications. 2nd international conference, TLCA '95, Edinburgh, GB, April 10--12, 1995. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 752603"}},"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":"Q1805041$B94D19A0-F312-4052-B692-1D3AD2E5468F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"61f91f639986e78c67a67a27a42f077da54d9187","datavalue":{"value":{"text":"Typed lambda calculi and applications. 2nd international conference, TLCA '95, Edinburgh, GB, April 10--12, 1995. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1805041$5B6F1411-C288-415A-AEC5-1D5231D753B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"635370175fb48c9de81a6a835430a56dab869556","datavalue":{"value":"0813.68040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805041$9C0C0B2F-495C-46E5-9004-560FE83C83C2","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":"Q1805041$3AF8D20F-8148-4A04-8CA1-5B7DF76E8279","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f52e0a3be4dd473bd079644edf45fcf1153c2a","datavalue":{"value":{"time":"+1995-05-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1805041$75EF18EA-94A7-42A7-A2C7-A3298B866B39","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b016af7ad59d9399c3ae379b37348e3e5d388472","datavalue":{"value":"The articles of this volume will be reviewed individually. For the preceding conference see [Zbl 0866.00038].  Indexed articles:  \\textit{Asperti, Andrea; Laneve, Cosimo}, Comparing \\(\\lambda\\)-calculus translations in sharing graphs, 1-15 [Zbl 1063.03507]  \\textit{Barthe, Gilles}, Extensions of pure type system, 16-31 [Zbl 1063.03508]  \\textit{Bellucci, Roberto; Abadi, Mart\u00edn; Curien, Pierre-Louis}, A model for formal parametric polymorphism: a PER interpretation for system \\(\\mathcal R\\)., 32-46 [Zbl 1063.03509]  \\textit{Berardi, Stefano; Bezem, Marc; Coquand, Thierry}, A realization of the negative interpretation of the axiom of choice, 47-62 [Zbl 1063.03537]  \\textit{Berardi, S.; Boerio, L.}, Using subtyping in program optimization, 63-77 [Zbl 1063.68562]  \\textit{Bierman, G. M.}, What is a categorical model of intuitionistic linear logic?, 78-93 [Zbl 1063.03534]  \\textit{Briaud, Daniel}, An explicit \\(Eta\\) rewrite rule, 94-108 [Zbl 1063.68552]  \\textit{Coscoy, Yann; Kahn, Gilles; Th\u00e9ry, Laurent}, Extracting text from proofs, 109-123 [Zbl 1063.68647]  \\textit{Desperyroux, Jo\u00eblle; Felty, Amy; Hirschowitz, Andr\u00e9}, Higher-order abstract syntax in Coq, 124-138 [Zbl 1063.68650]  \\textit{Di Cosmo, Roberto; Piperno, Adolfo}, Expanding extensional polymorphism, 139-153 [Zbl 1063.68554]  \\textit{Dowek, Gilles}, Lambda-calculus, combinators and the comprehension scheme, 154-170 [Zbl 1063.03512]  \\textit{Ghani, Neil}, \\(\\beta\\eta\\)-equality for coproducts, 171-185 [Zbl 1063.03513]  \\textit{Goguen, Healfdene}, Typed operational semantics, 186-200 [Zbl 1063.68556]  \\textit{de Groote, Philippe}, A simple calculus of exception handling, 201-215 [Zbl 1063.68565]  \\textit{Hofmann, Martin}, A simple model for quotient types, 216-234 [Zbl 1063.68602]  \\textit{Holmes, M. Randall}, Untyped \\(\\lambda\\)-calculus with relative typing, 235-248 [Zbl 1063.03515]  \\textit{Honsell, Furio; Lenisa, Marina}, Final semantics for untyped \\(\\lambda\\)-calculus, 249-265 [Zbl 1063.03516]  \\textit{Hurkens, Antonius J. C.}, A simplification of Girard's paradox, 266-278 [Zbl 1063.03517]  \\textit{Kondoh, Hidetaka}, Basic properties of data types with inequational refinements (extended abstract), 279-296 [Zbl 1063.68606]  \\textit{Kurata, Toshihiko; Takahashi, Masako}, Decidable properties of intersection type systems, 297-311 [Zbl 1063.03519]  \\textit{Leclerc, Fran\u00e7ois}, Termination proof of term rewriting system with the multiset path ordering. A complete development in the system Coq, 312-327 [Zbl 1063.68656]  \\textit{Mellies, Paul-Andr\u00e9}, Typed \\(\\lambda\\)-calculi with explicit substitutions may not terminate, 328-334 [Zbl 1063.03522]  \\textit{Padovani, Vincent}, On equivalence classes of interpolation equations, 335-349 [Zbl 1063.03523]  \\textit{van de Pol, Jaco; Schwichtenberg, Helmut}, Strict functionals for termination proofs, 350-364 [Zbl 1063.03505]  \\textit{Pollack, Robert}, A verified typechecker, 365-380 [Zbl 1063.03502]  \\textit{Pravato, A.; Ronchi della Rocca, S.; Roversi, L.}, Categorical semantics of the call-by-value \\(\\lambda\\)-calculus, 381-396 [Zbl 1063.68558]  \\textit{Ritter, Eike; Pitts, Andrew M.}, A fully abstract translation between a \\(\\lambda\\)-calculus with reference types and standard ML., 397-413 [Zbl 1063.68551]  \\textit{Simpson, Alex K.}, Categorical completeness results for the simply-typed lambda-calculus, 414-427 [Zbl 1063.03524]  \\textit{Springintveld, Jan}, Third-order matching in the presence of type constructors (extended abstract), 428-442 [Zbl 1063.03525]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805041$E5F6A70A-7209-4E62-8FAF-D9DFB1B41F4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805041$2CD5FBCF-9116-4F85-8C82-734B0B7EED92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805041$77FF3933-EFF4-4711-B5B9-590F3D12F142","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91ab802161d3990cb5785eb6b2e1f7136de4e1c7","datavalue":{"value":"752603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805041$74EA6CF0-0336-4807-B7B0-31858CA0173D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805041$BCD197B9-FD25-413C-A9F2-312F04B0FBD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97dfbc59b8be66186c5f3c26fcb7634c0d35f507","datavalue":{"value":"Edinburgh (GB)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805041$0ACCE43F-9C90-455A-BB2B-9ECE1199C903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbbce5624bf0cef44593b49019a866b912a6204e","datavalue":{"value":"TLCA '95","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805041$A27E71A6-1138-4D8D-8CEC-7CAA97CBB1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e352599b67dfca7ae0a807a2c9e8e2b14da9766e","datavalue":{"value":"lambda calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805041$DBD90F2E-96D9-44E5-8244-0B6A4FDB7497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1805041$3BDD9C6B-7051-404E-8422-1DF3D19758B6","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":"Q1805041$592E2914-91F8-4A1F-AF09-8915A8E3AA3D","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":"Q1805041$6642A20C-4E71-416D-8BC8-6F08EB2E6DB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88a6e640c779aca174530e5733fcdc246b8d0e7c","datavalue":{"value":"https://doi.org/10.1007/bfb0014040","type":"string"},"datatype":"url"},"type":"statement","id":"Q1805041$B25D6640-EE9A-4095-804C-5F3E710474EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eab668bcfb2a1913a1a233705f3d662a11315bc6","datavalue":{"value":"W1551845476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805041$A1184F1C-FABD-4832-9253-1CE20A80DEB4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be9dc90aebd754262333cf23b44a5d90b3a9b84a","datavalue":{"value":"10.1007/BFB0014040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1805041$6690C176-D58A-4932-A991-E33754F2AC42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typed lambda calculi and applications. 2nd international conference, TLCA '95, Edinburgh, GB, April 10--12, 1995. Proceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Typed_lambda_calculi_and_applications._2nd_international_conference,_TLCA_%2795,_Edinburgh,_GB,_April_10--12,_1995._Proceedings"}}}}}