{"entities":{"Q1299567":{"pageid":1310317,"ns":120,"title":"Item:Q1299567","lastrevid":68401725,"modified":"2026-04-12T23:27:42Z","type":"item","id":"Q1299567","labels":{"en":{"language":"en","value":"Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1328164"}},"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":"Q1299567$5E513CD3-AFBF-4BAF-867F-322AA21E277F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f85e829183996d211b2e3af1c4d8f3131100d946","datavalue":{"value":{"text":"Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1299567$4AC8DE0E-9296-4B82-A9D0-BA471894EEB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"13dfc9837a571e37351ce3b2d3b82befc50f558d","datavalue":{"value":"0921.00026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299567$E93F7046-6515-4BBD-8482-5314F3739107","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1299567$0D95F72F-0CCF-4B0C-9C82-7D7413EBBD55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51415e625f0cb73a94193012723d607c95647f9e","datavalue":{"value":{"time":"+1999-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1299567$6E118DDA-39FE-4936-A9B9-90ADE3D9438D","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9e953cd3813631fb28baa77826930d85b8bbc437","datavalue":{"value":"The articles of this volume will be reviewed individually. The 13th conference 1997 has been indicated (see Zbl 0903.00057).  Indexed articles:  \\textit{Almeida, Paulo Sergio}, Type-checking balloon types, electronic paper No. 2 [Zbl 0933.68035]  \\textit{Bono, Viviana; Mitchell, John C.; Patel, Amit J.; Shmatikov, Vitaly}, A core calculus of classes and objects, electronic paper No. 3 [Zbl 0924.68028]  \\textit{Bruce, K.; Vanderwaart, J.}, Semantics-driven language design: Statically type-safe virtual types in object-oriented languages, electronic paper No. 4 [Zbl 0924.68119]  \\textit{Abadi, Martin}, Secrecy in programming-language semantics, electronic paper No. 6 [Zbl 0924.68115]  \\textit{Bolignano, Dominique}, Using abstract interpretation for the safe verification of security protocols, electronic paper No. 7 [Zbl 0933.68052]  \\textit{Necula, George}, Enforcing security and safety with proof-carrying code, electronic paper No. 8 [Zbl 0924.68072]  \\textit{Smith, Geoffrey; Volpano, Dennis}, Confinement properties for multi-threaded programs, electronic paper No. 9 [Zbl 0924.68071]  \\textit{Syvreson, Paul}, Towards a strand semantics for authentication logic, electronic paper No. 10 [Zbl 0924.68118]  \\textit{Selinger, Peter}, Categorical structure of asynchrony, electronic paper No. 11 [Zbl 0924.68109]  \\textit{Brookes, Stephen}, Reasoning about recursive processes: Expansion is not always fair, electronic paper No. 12 [Zbl 0924.68083]  \\textit{Ciesielski, K.; Flagg, B.; Kopperman, R.}, Characterizing topologies with bounded complete computational models, electronic paper No. 13 [Zbl 0924.68082]  \\textit{H\u00f6tzel Escard\u00f3, Mart\u00edn}, On the compact-regular coreflection of a stably compact locale, electronic paper No. 14 [Zbl 0921.54010]  \\textit{Escardo, M.; Flagg, B.}, Semantic domains, injective spaces and monads, electronic paper No. 15 [Zbl 0924.68116]  \\textit{F\u00fchrmann, C.}, Direct models for the computational lambda calculus, electronic paper No. 16 [Zbl 0924.68029]  \\textit{Heckmann, Reinhold}, Completeness classes of equilogical spaces, electronic paper No. 17 [Zbl 0933.18006]  \\textit{Hu, Hongde}, Contractible coherence spaces and maximal maps, electronic paper No. 18 [Zbl 0935.18001]  \\textit{Jay, C. B.}, Denotational semantic of shape: Past present and future, electronic paper No. 19 [Zbl 0924.68110]  \\textit{Kummetz, R.}, From partial orders with projections to domains, electronic paper No. 20 [Zbl 0924.68111]  \\textit{Lassen, S.}, Bisimulation in untyped lambda calculus: B\u00f6hm trees and bisimulation up to context, electronic paper No. 21 [Zbl 0924.68030]  \\textit{Menni, Mat\u00edas; Simpson, Alex}, The largest topological subcategory of countably-based equilogical spaces, electronic paper No. 22 [Zbl 0933.18007]  \\textit{Mislove, M.}, Local dcpos, local cpos and local completions, electronic paper No. 23 [Zbl 0924.68112]  \\textit{Moss, L. S.}, Recursion and corecursion have the same equational logic, electronic paper No. 24 [Zbl 0924.68114]  \\textit{Older, S.}, Strong fairness and recursive communicating processes, electronic paper No. 25 [Zbl 0924.68117]  \\textit{Polakow, Jeff; Pfenning, Frank}, Relating natural deduction and sequent calculus for intuitionistic non-commutative linear logic, electronic paper No. 26 [Zbl 0926.03076]  \\textit{Power, J.; Robinson, E.}, Modularity and dyads, electronic paper No. 27 [Zbl 0924.68113]  \\textit{Schweimeier, R.; Jeffrey, A.}, A categorical and graphical treatment of closure conversion, electronic paper No. 28 [Zbl 0924.68027]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299567$6F51F403-7890-4604-84A2-A829B77324CC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299567$9F1494CC-BBC5-4E34-8A0C-A9C05540E19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299567$328143D5-37E6-4EA3-9BAB-F5C681AFC81F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8340cb24a6063642232524c764b47667097b25c","datavalue":{"value":"1328164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1299567$4708969A-90C0-4C52-8D38-857FA071C5B6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3fa59038ccbd4b647badf2097e76c2a43d459c1","datavalue":{"value":"New Orleans, LA (USA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299567$4CE44018-254D-4038-9626-011CD3AFF834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299567$00177D62-7CCA-4F03-8D1C-CE58F5B9554F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299567$A3C4DB18-E8C2-485A-BCFF-211AD3CB7831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6d674fb8e65633ae0d726f1a9a5b8aa291960f3","datavalue":{"value":"Mathematical foundations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299567$6BADD9F5-BAA6-442F-A348-E26A3267488B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"507438e5b50aa4810ef6563e5b06e542d57761df","datavalue":{"value":"Programming semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1299567$BA466544-E3B6-419D-9A5D-77CBFAE00F4B","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":"Q1299567$218F6871-0DF4-413A-BAD5-8A3A0A33CB51","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mathematical_foundations_of_programming_semantics._Proceedings_of_the_15th_conference,_Tulane_Univ.,_New_Orleans,_LA,_April_28_-_May_1,_1999"}}}}}