![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
15th MFPS 1999: New Orleans, LA, USA
- Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov:
Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999. Electronic Notes in Theoretical Computer Science 20, Elsevier 1999 - Paulo Sérgio Almeida
:
Type-checking Balloon Types. 1-27 - Viviana Bono
, John C. Mitchell, Amit Patel, Vitaly Shmatikov:
A Core Calculus of Classes and Objects. 28-49 - Kim B. Bruce, Joseph Vanderwaart:
Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages. 50-75 - Catherine Meadows, Dennis M. Volpano:
The MFPS XV Security Session. 76-79 - Martín Abadi:
Secrecy in Programming-Language Semantics. 80-94 - Dominique Bolignano:
Using Abstract Interpretation for the Safe Verification of Security Protocols. 95-116 - George C. Necula:
Enforcing Security and Safety with Proof-Carrying Code. 117-131 - Geoffrey Smith, Dennis M. Volpano:
Confinement Properties for Multi-Threaded Programs. 132-142 - Paul Syvreson:
Towards a Strand Semantics for Authentication Logic. 143-157 - Peter Selinger
:
Categorical Structure of Asynchrony. 158-181 - Stephen D. Brookes:
Reasoning About Recursive Processes: Expansion is not Always Fair. 182-201 - Krzysztof Ciesielski, Bob Flagg, Ralph Kopperman:
Characterizing Topologies With Bounded Complete Computational Models. 202-212 - Martín Hötzel Escardó:
On the Compact-regular Coreflection of a Stably Locally Compact Locale. 213-228 - Martín Hötzel Escardó, Bob Flagg:
Semantic Domains, Injective Spaces and Monads. 229-244 - Carsten Führmann:
Direct Models for the Computational Lambda Calculus. 245-292 - Reinhold Heckmann:
Completeness Classes of Equilogical Spaces. 293-308 - Hongde Hu:
Contractible Coherence Spaces and Maximal Maps. 309-319 - C. Barry Jay:
Denotational Semantics of Shape: Past, Present and Future. 320-333 - Ralph Kummetz:
From Partial Orders with Projections to Domains. 334-345 - Søren B. Lassen:
Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context. 346-374 - Matías Menni, Alex K. Simpson:
The Largest Topological Subcategory of Countably-based Equilogical Spaces. 375-398 - Michael W. Mislove
:
Local Dcpos, Local Cpos and Local Completions. 399-412 - Lawrence S. Moss:
Recursion and Corecursion Have the Same Equational Logic. 413-432 - Susan Older:
Strong fairness and Recursive Communicating Processes. 433-448 - J. Polokow, Frank Pfenning:
Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic. 449-466 - John Power, Edmund Robinson:
Modularity and Dyads. 467-480 - Ralf Schweimeier, Alan Jeffrey:
A Categorical and Graphical Treatment of Closure Conversion. 481-511 - Stephen D. Brookes, Achim Jung, Michael W. Mislove
, Andre Scedrov
:
Preface. 512-513
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.