Mathematical foundations of programming semantics. Proceedings of the 15th conference, Tulane Univ., New Orleans, LA, April 28 - May 1, 1999
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ötzel Escardó, Martín}, 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ührmann, 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öhm trees and bisimulation up to context, electronic paper No. 21 [Zbl 0924.68030] \textit{Menni, Matías; 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]
scientific article; zbMATH DE number 1328164