{"entities":{"Q1284360":{"pageid":1295110,"ns":120,"title":"Item:Q1284360","lastrevid":67099794,"modified":"2026-04-12T15:15:54Z","type":"item","id":"Q1284360","labels":{"en":{"language":"en","value":"Typed lambda calculi and applications. 4th international conference, TLCA '99. L'Aquila, Italy, April 7--9, 1999. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1278181"}},"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":"Q1284360$0A9EACC9-1655-4A15-969D-25AA585D725E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90aca11c896907b1d1a8c885912297eda6a16831","datavalue":{"value":{"text":"Typed lambda calculi and applications. 4th international conference, TLCA '99. L'Aquila, Italy, April 7--9, 1999. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1284360$1BD2FD41-3FED-4C2D-B953-51EE69590A13","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f579361f83b8c3176ed57f15d7a8f5c91a72b1c","datavalue":{"value":"0911.00022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284360$832FF3AA-3974-427E-918B-740E50AE9CCD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e34f6c65354b8559bb9b99d6bdf99179407982b9","datavalue":{"value":"10.1007/3-540-48959-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284360$CB46013A-8CA0-4069-8ECA-29452FD2A0A9","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":"Q1284360$BC54A94D-1DAF-42B2-9AEB-2CD03B110FC1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a39d0001a0a462b35d05984dd0de2bdea466d094","datavalue":{"value":{"time":"+1999-04-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":"Q1284360$54B089F8-18D2-482A-B0F5-262A262E87FA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"688bb0cc4f422a4148f2c4abc143a6730acb9741","datavalue":{"value":"The articles of mathematical interest will be reviewed individually. The preceding conference (2nd, 1995) has been announced (see Zbl 0813.68040).  Indexed articles:  \\textit{Abrusci, V. Michele}, Modules in non-commutative logic, 14-24 [Zbl 0931.03068]  \\textit{Baillot, Patrick; Pedicini, Marco}, Elementary complexity and geometry of interaction. (Extended abstract), 25-39 [Zbl 0931.03045]  \\textit{Barreiro, Nuno; Ehrhard, Thomas}, Quantitative semantics revisited. (Extended abstract), 40-53 [Zbl 0931.03046]  \\textit{Berardi, Stefano; de'Liguoro, Ugo}, Total functionals and well-founded strategies. (Extended abstract), 54-68 [Zbl 0932.03014]  \\textit{Broda, Sabine; Damas, Lu\u00eds}, Counting a type's principal inhabitants. (Extended abstract), 69-82 [Zbl 0932.03015]  \\textit{David, Ren\u00e9}, Every unsolvable \\(\\lambda\\) term has a decoration, 98-113 [Zbl 0931.03020]  \\textit{Di Gianantonio, Pietro; Franco, Gianluca; Honsell, Furio}, Game semantics for untyped \\(\\lambda\\beta\\eta\\)-calculus, 114-128 [Zbl 0931.03021]  \\textit{Dybjer, Peter; Setzer, Anton}, A finite axiomatization of inductive-recursive definitions, 129-146 [Zbl 0931.03069]  \\textit{Fiore, Marcelo; Simpson, Alex}, Lambda definability with sums via Grothendieck logical relations, 147-161 [Zbl 0929.18004]  \\textit{Fujita, Ken-etsu}, Explicitly typed \\(\\lambda\\mu\\)-calculus for polymorphism and call-by-value, 162-176 [Zbl 0933.03009]  \\textit{Goguen, Healfdene}, Soundness of the logical framework for its typed operational semantics. Extended abstract, 177-197 [Zbl 0931.03023]  \\textit{Hasegawa, Masahito}, Logical predicates for intuitionistic linear type theories, 198-212 [Zbl 0931.03036]  \\textit{Laurent, Olivier}, Polarized proof-nets: Proof-nets for LC. (Extended abstract), 213-227 [Zbl 0933.03081]  \\textit{Mikami, Seikoh; Akama, Yohji}, A study of Abramsky's linear chemical abstract machine, 243-257 [Zbl 0931.03024]  \\textit{O'Hearn, Peter W.}, Resource interpretations, bunched implications and the \\(\\alpha\\lambda\\)-calculus. (Preliminary version), 258-279 [Zbl 0931.03025]  \\textit{Ohori, Atsushi}, A Curry-Howard isomorphism for compilation and program execution. (Extended abstract), 280-294 [Zbl 0932.03031]  \\textit{Polakow, Jeff; Pfenning, Frank}, Natural deduction for intuitionistic non-commutative linear logic, 295-309 [Zbl 0931.03071]  \\textit{Poll, Erik; Zwanenburg, Jan}, A logic for abstract data types as existential types, 310-324 [Zbl 0931.03026]  \\textit{Ritter, Eike}, Characterising explicit substitutions which preserve termination. (Extended abstract), 325-339 [Zbl 0931.03027]  \\textit{Sato, Masahiko; Sakurai, Takafumi; Burstall, Rod}, Explicit environments. (Extended abstract), 340-354 [Zbl 0931.03028]  \\textit{Statman, Rick}, Consequences of Jacopini's theorem: Consistent equalities and equations, 355-364 [Zbl 0931.03029]  \\textit{Urban, C.; Bierman, G. M.}, Strong normalisation of cut-elimination in classical logic, 365-380 [Zbl 0934.03074]  \\textit{Zwanenburg, Jan}, Pure type systems with subtyping. (Extended abstract), 381-396 [Zbl 0933.03033]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284360$79747EA2-CA59-4DAD-B0FD-B09172D28552","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284360$7ADD4088-3312-4805-B9C2-C7FE688677C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284360$8E2E03A4-0890-42F7-BC65-E04686C4672E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284360$CAA82DE8-BC4E-4A97-96F6-BA7659254DE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"133deabbd5ad8e8f7913eb6609190bcf4dc5cc88","datavalue":{"value":"1278181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284360$D5C6E3DA-DA48-4511-945E-892BBC2B06B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a6fbd9c1c671ebd18e478b8412268e2e5b7b984","datavalue":{"value":"L'Aquila (Italy)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284360$1338AA7A-A520-4455-9234-C3C293900283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284360$4A26FBAE-EAF1-4582-B9B8-C7470EB44512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284360$26699724-9055-4D26-B823-66D9DDA22782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7d96194904fad8c67a8b03fcac5038a3fca4470","datavalue":{"value":"TLCA '99","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284360$BB60122B-DA4D-4F6D-8D88-D79147007A64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37eaf806855f4a32bcd1f9952fdbabe41cc17334","datavalue":{"value":"Typed lambda calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1284360$022DCB9B-D292-4EA6-A010-BC0C7F72EBED","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":"Q1284360$62619491-7929-4961-A8AD-E6E78E7C548A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0dd644c381f7c44bfba5b43174c2b1afb39286f0","datavalue":{"value":"https://doi.org/10.1007/3-540-48959-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q1284360$1D3325ED-B5A5-4A0F-A64B-7ED64AA623B1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1fd6f2449cbd8936614aad57e1ccba20b8012c17","datavalue":{"value":"W2506303632","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1284360$A8570822-83E8-413D-A7B9-2BB5B6C7E1DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Typed lambda calculi and applications. 4th international conference, TLCA '99. L'Aquila, Italy, April 7--9, 1999. Proceedings","badges":[]}}}}}