{"entities":{"Q1273550":{"pageid":1284300,"ns":120,"title":"Item:Q1273550","lastrevid":42994268,"modified":"2025-07-16T17:16:54Z","type":"item","id":"Q1273550","labels":{"en":{"language":"en","value":"Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1230720"}},"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":"Q1273550$50987CD3-97B7-4B1B-B783-D440669EE5B6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e3a358fc722125ab4a0704857e9c2b047cbfba14","datavalue":{"value":{"text":"Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1273550$805124E6-EBDA-437C-95DF-E2C435CC15B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2567ccb5b81e26aaa63a76b633a81ef8ef122dcd","datavalue":{"value":"0903.00064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273550$2C168292-6CA8-4D3B-97A1-A14E553935BF","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":"Q1273550$E47EB595-9C6D-40A8-BC6D-028883684B5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"22eb0daf1c4e261f9deecf6c1ca51db2f3444156","datavalue":{"value":{"time":"+1998-12-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":"Q1273550$8A41AFE1-6F80-41F6-8CE0-40660FC770DF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"5a4ada884bb0c8ba630a9dab80402e507c29e59a","datavalue":{"value":"The articles of this volume will be reviewed individually. The preceding conference (1994) has been announced (see Zbl 0895.00054).  Indexed articles:  \\textit{Schellekens, Michel}, The Smyth completion: a common foundation for denotational semantics and complexity analysis, 535-556 [Zbl 0910.68135]  \\textit{Jones, Cliff B.}, Granularity and the development of concurrent programs. (Extended abstract), 5 p. [Zbl 0910.68076]  \\textit{Jones, Cliff B.}, Fixing the semantics of some concurrent object-oriented concepts. (Extended abstract), 6 p. [Zbl 0910.68035]  \\textit{Alessi, F.; Baldan, P.; Bell\u00e8, G.; Rutten, J. J. M. M.}, Solutions of functorial and non-functorial metric domain equations, 12 p. [Zbl 0910.68130]  \\textit{Jeffrey, Alan; Stuart, Austin}, A fully abstract semantics for a nondeterministic functional language with monadic types, 12 p. [Zbl 0910.68036]  \\textit{Boudol, Gerard; Laneve, Cosimo}, Termination, deadlock and divergence in the lambda-calculus with multiplicities, 14 p. [Zbl 0910.68131]  \\textit{Freyd, Peter; O'Hearn, Peter; Power, John; Tennent, Robert; Takeyama, Makoto}, Bireflectivity, 15 p. [Zbl 0908.18002]  \\textit{Lamarche, Francois}, Generalizing coherent domains and hypercoherences, 15 p. [Zbl 0910.68126]  \\textit{Flagg, Bob; Kopperman, Ralph}, Fixed points and reflexive domain equations in categories of continuity spaces, 17 p. [Zbl 0910.68124]  \\textit{Jacobs, Bart P. F.}, Subtypes and bounded quantification from a fibred perspective, 17 p. [Zbl 0910.68142]  \\textit{Edalat, Abbas}, Domain theory in learning processes, 18 p. [Zbl 0910.68122]  \\textit{Gardner, Philippa}, A name-free account of action calculi, 18 p. [Zbl 0910.68152]  \\textit{Mislove, Michael W.}, Denotational models for unbounded nondeterminism, 18 p. [Zbl 0910.68106]  \\textit{Bernstein, Karen L.; Stark, Eugene W.}, Operational semantics of a focusing debugger, 19 p. [Zbl 0910.68128]  \\textit{Nuessler, Kay-Jeannette}, Universality and powerdomains, 19 p. [Zbl 0910.68133]  \\textit{Brookes, Stephen; Older, Susan}, Full abstraction for strongly fair communicating processes, 20 p. [Zbl 0910.68125]  \\textit{Hoover, D. N.}, Maximal limit spaces, powerspaces and Scott domains, 20 p. [Zbl 0910.68127]  \\textit{Pfenning, Frank; Wong, Hao-Chi}, On a modal lambda calculus for S4, 20 p. [Zbl 0908.03018]  \\textit{Gordon, Andrew D.}, Bisimilarity as a theory of functional programming, 21 p. [Zbl 0910.68118]  \\textit{Jones, Neil D.}, Complexity and computability from a programming language perspective, 21 p. [Zbl 0910.68072]  \\textit{Jung, Achim; Puhlmann, Hermann}, Types, logic and semantics for nested databases, 21 p. [Zbl 0910.68132]  \\textit{Eifrig, Jonathan; Smith, Scott; Trifonov, Valery}, Type inference for recursively constrained types and its application to OOP, 22 p. [Zbl 0910.68143]  \\textit{Dhara, Krishna Kishore; Leavens, Gary T.}, Weak behavioral subtyping for types with mutable objects, 23 p. [Zbl 0910.68144]  \\textit{Maraist, John; Odersky, Martin; Turner, David N.; Wadler, Philip}, Call-by-name, call-by value, call-by-need and the linear lambda calculus, 23 p. [Zbl 0908.03017]  \\textit{Cockett, J. R. B.; Spooner, D. A.}, Categories for synchrony and asynchrony, 25 p. [Zbl 0910.68119]  \\textit{\u00c9sik, Zoltan; Bern\u00e1tsky, L.}, Scott induction and equational proofs, 28 p. [Zbl 0910.68129]  \\textit{O'Hearn, Peter; Reddy, Uday}, Objects, interference and the Yoneda embedding, 28 p. [Zbl 0911.68121]  \\textit{O'Hearn, Peter; Power, John; Tennent, Robert; Takeyama, Makoto}, Syntactic control of interference revisited, 40 p. [Zbl 0943.68108]","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273550$30208BC7-5530-4A65-9070-9AB10CDEE102","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273550$BDC1EC30-1946-4154-9697-FD2F06CB1E70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273550$E77FC819-C6AE-44DC-A802-E09497F06DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273550$DA43721D-8945-483D-A04B-F2C522E8CCB0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4dac4a060bd909fbb979443b80aa353118fce231","datavalue":{"value":"1230720","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1273550$AC77B0CC-FB07-4BA8-B93F-94C1BE84D194","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3fa59038ccbd4b647badf2097e76c2a43d459c1","datavalue":{"value":"New Orleans, LA (USA)","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273550$2DD29299-7953-4F25-A72B-C28A3BA74F76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4c4bb5a86a0fdf66f908b603f2f6975f5ef6fc","datavalue":{"value":"Proceedings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273550$2FE7CDF4-4A1D-43CE-93D1-30C649DF2281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d83ae477e518ffecea78688f13a2aaaeca13299","datavalue":{"value":"Conference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273550$4FE7AD7C-31C7-4EF2-9EEB-03D23D0C0988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e9ab66589b40081b9107f217070e1656302e224","datavalue":{"value":"MFPS","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273550$DD82C88B-DB75-41B2-BA9A-282EE1E74C99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"507438e5b50aa4810ef6563e5b06e542d57761df","datavalue":{"value":"Programming semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1273550$E10F1685-06A9-4EC7-A94A-72610A351AE2","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":"Q1273550$73CCBA84-0C2A-47A2-8B9C-26E2319C3F2E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1273550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1273550"}}}}}