default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID15th 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
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.
last updated on 2025-02-21 19:37 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
