{"entities":{"Q5933584":{"pageid":8110386,"ns":120,"title":"Item:Q5933584","lastrevid":25458093,"modified":"2024-03-04T22:42:15Z","type":"item","id":"Q5933584","labels":{"en":{"language":"en","value":"Typed lambda calculi and applications. 5th international conference, TLCA 2001, Krak\u00f3w, Poland, May 2--5, 2001. Proceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1599480"}},"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":"Q5933584$0F4D4F36-5214-427E-9A13-5E7CC018FD54","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e7c14b215cd01db1593eb6dad6836569c622badc","datavalue":{"value":{"text":"Typed lambda calculi and applications. 5th international conference, TLCA 2001, Krak\u00f3w, Poland, May 2--5, 2001. Proceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5933584$632C4A94-3EA5-4714-BFDB-8D4547AF69B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fdfe08d481884a3f09b7e02a376ede91899b5ce9","datavalue":{"value":"0961.00016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933584$65EBBF97-0691-4732-B39C-192EBE51AE37","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":"Q5933584$14E94D34-E119-4A6F-A229-9D9A146F5E02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"82146a8074a40d7249ebefe93809b550846d3a01","datavalue":{"value":{"time":"+2001-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5933584$C0704573-177E-4D9B-9A96-2F6F7724C18D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"04074aacb0c30647085b0bec909df7b3f52081ae","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference (4th, 1999) has been reviewed (see Zbl 0911.00022).  Indexed articles:  \\textit{Danvy, Olivier}, Many happy returns, 1 [Zbl 0981.68619]  \\textit{Normann, Dag}, Definability of total objects in PCF and related calculi, 4-5 [Zbl 0981.68585]  \\textit{Altenkirch, Thorsten}, Representations of first order function types as terminal coalgebras, 8-21 [Zbl 0981.68110]  \\textit{Altenkirch, Thorsten; Coquand, Thierry}, A finitary subsystem of the polymorphic \\(\\lambda\\)-calculus, 22-28 [Zbl 0981.03020]  \\textit{Berger, Martin; Honda, Kohei; Yoshida, Nobuko}, Sequentiality and the \\(\\pi\\)-calculus, 29-45 [Zbl 0981.68037]  \\textit{Cardelli, Luca; Gordon, Andrew D.}, Logical properties of name restriction, 46-60 [Zbl 0981.68036]  \\textit{Chroboczek, Juliusz}, Subtyping recusive games, 61-75 [Zbl 1024.68018]  \\textit{Coppola, Paolo; Martini, Simone}, Typing lambda terms in elementary logic with linear constraints, 76-90 [Zbl 0981.03028]  \\textit{Danner, Norman}, Ramified recurrence with dependent types, 91-105 [Zbl 1002.03038]  \\textit{Di Gianantonio, Pietro}, Game semantics for the pure lazy \\(\\lambda\\)-calculus, 106-120 [Zbl 0981.03022]  \\textit{Dougherty, Dan; Lescanne, Pierre}, Reductions, intersection types, and explicit substitutions, 121-135 [Zbl 0981.68024]  \\textit{Dowek, Gilles}, The Stratified Foundations as a theory modulo, 136-150 [Zbl 1002.03042]  \\textit{Filinski, Andrzej}, Normalization by evaluation for the computational lambda-calculus, 151-165 [Zbl 0981.68023]  \\textit{Geuvers, Herman}, Induction is not derivable in second order dependent type theory, 166-181 [Zbl 0981.03023]  \\textit{de Groote, Philippe}, Strong normalization of classical natural deduction with disjunction, 182-196 [Zbl 0981.03027]  \\textit{Haghverdi, Esfandiar}, Partially additive categories and fully complete models of linear logic, 197-216 [Zbl 0981.03065]  \\textit{Jay, C. Barry}, Distinguishing data structures and functions: the constructor calculus and functorial types, 217-239 [Zbl 0981.68027]  \\textit{Joly, Thierry}, The finitely generated types of the \\(\\lambda\\)-calculus, 240-252 [Zbl 1002.03014]  \\textit{Knapik, Teodor; Niwinski, Damian; Urzyczyn, Pawe\u0142}, Deciding monadic theories of hyperalgebraic trees, 253-267 [Zbl 0981.03012]  \\textit{Laird, James}, A deconstruction of non-deterministic classical cut elimination, 268-282 [Zbl 0981.03057]  \\textit{Laurent, Olivier}, A token machine for full geometry of interaction. Extended abstract, 283-297 [Zbl 0981.03515]  \\textit{Lei\u00df, Hans}, Second-order pre-logical relations and representation independence, 298-314 [Zbl 0981.03026]  \\textit{de'Liguoro, Ugo}, Characterizing convergent terms in object calculi via intersection types, 315-328 [Zbl 0981.03021]  \\textit{Matthes, Ralph}, Parigot's second order \\(\\lambda\\mu\\)-calculus and inductive types, 329-343 [Zbl 0981.03024]  \\textit{Miquel, Alexandre}, The implicit calculus of constructions. extending pure type systems with an intersection type binder and subtyping, 344-359 [Zbl 0981.03029]  \\textit{Murawski, Andrzej S.; Ong, C.-H. Luke}, Evolving games and essential nets for affine polymorphism, 360-375 [Zbl 0981.03064]  \\textit{Padovani, Vincent}, Retracts in simple types, 376-384 [Zbl 0981.03025]  \\textit{Pinto, Jorge Sousa}, Parallel implementation models for the \\(\\lambda\\)-calculus using the geometry of interaction. Extended abstract, 385-399 [Zbl 0981.68500]  \\textit{Schubert, Aleksy}, The complexity of \\(\\beta\\)-reduction in low orders, 400-414 [Zbl 0981.68025]  \\textit{Urban, Christian}, Strong normalisation for a Gentzen-like cut-elimination procedure, 415-429 [Zbl 0981.03058]","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933584$98BA59BE-577F-49F1-B820-59B9871B4E35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933584$EAD59CAA-92D5-4A6D-938B-9285DD5DB728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933584$4FB8B9D8-78A2-4E1F-9703-56244D5A67EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933584$9813B9BC-88E6-41D6-85EC-8C05C4387A8A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f4512e28db83c68d721d23a3f4b43c4fbc1033b2","datavalue":{"value":"1599480","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5933584$4407976B-F646-48F9-9AD9-4AA881381147","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acc044c54acf5bbd89cb1595090f62becff1ea0d","datavalue":{"value":"Krak\u00f3w (Poland)","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933584$C0D1380C-C6A9-43BE-9D39-878AAC59A39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933584$8DAAB367-DB9E-4384-8988-61E7F5D28482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933584$6A8A3603-B3CF-466C-9B48-8BB63C95C6A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836eaa7f133c1dbdc41e19d24b35493bfc2488c9","datavalue":{"value":"TLCA 2001","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933584$DD9851E1-920B-4A1D-BF61-6B033B2786F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37eaf806855f4a32bcd1f9952fdbabe41cc17334","datavalue":{"value":"Typed lambda calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q5933584$F158A229-83D7-43D7-B424-A48AC9FCB06A","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":"Q5933584$EC6E871E-11D3-46C1-AD69-32AA0680F325","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5933584","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5933584"}}}}}