Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Søren B. Lassen |
Normal Form Simulation for McCarthy's Amb. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005, pp. 445-465, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Martín Hötzel Escardó, Achim Jung, Michael W. Mislove |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005, pp. 1-3, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Catuscia Palamidessi |
Probabilistic and Nondeterministic Aspects of Anonymity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005, pp. 33-42, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Rasmus Ejlers Møgelberg, Lars Birkedal, Giuseppe Rosolini |
Synthetic Domain Theory and Models of Linear Abadi & Plotkin Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005, pp. 219-245, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jeffrey M. Egger |
A Quillen Model Structure for Chu Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005, pp. 361-377, 2005, Elsevier. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Waszkiewicz |
How Do Domains Model Topologies? ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 247-262, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Mourad Debbabi, Mohamed Mejri |
Towards the Correctness of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 55-98, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jules Bean |
Ribbon Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 1-21, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Abbas Edalat, Marko Krznaric, André Lieutier |
Domain-theoretic Solution of Differential Equations (Scalar Fields). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 99-112, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Guy McCusker |
On the Semantics of the Bad-Variable Constructor in Algol-like Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 169-186, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Radu Negulescu |
Generic Transforms on Incomplete Specifications of Asynchronous Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 187-200, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Alan Jeffrey, Julian Rathke |
Contextual Equivalence for Higher-Order π-Calculus Revisited. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 149-168, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Yifeng Chen |
Cumulative Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 23-38, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Bob Coecke |
Entropic Geometry from Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 39-53, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes, Prakash Panangaden (eds.) |
Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
1 | Dominic Hughes |
Intensional Double Glueing, Biextensional Collapse, and the Chu Construction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 131-147, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Guo-Qiang Zhang 0001 |
Compact Coverages Generate Spectral Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 279-285, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Steve Zdancewic |
A Type System for Robust Declassification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 263-277, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Eugenia Cheng, Martin Hyland, John Power |
Pseudo-distributive Laws. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 227-245, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Hennessy |
The Security Picalculus and Non-interference (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 113-129, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
Secure Protocol Composition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 201-226, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Guo-Qiang Zhang 0001 |
Chu Spaces, Concept Lattices, and Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2003, Université de Montréal, QC, Canada, March 19-22, 2003, pp. 287-302, 2003, Elsevier. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Martin Hyland, John Power |
Pseudo-commutative Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 197-208, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Annabelle McIver |
A Generalisation of Stationary Distributions, and Probabilistic Program Algebra. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 269-279, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | James Laird |
A Game Semantics of Idealized CSP. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 232-257, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lasse R. Nielsen |
A Selective CPS Transformation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 311-331, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes, Michael W. Mislove |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 463-464, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hayo Thielecke |
Comparing Control Constructs by Double-barrelled {CPS} Transforms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 433-447, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John Power, Konstantinos Tourlas |
An Algebraic Foundation for Graph-based Diagrams in Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 346-357, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Peter Sestoft |
Demonstrating Lambda Calculus Reduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 424-432, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John Hannan |
On Extracting Static Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 162-173, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Damian |
Time Stamps for Fixed-Point Approximation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 65-76, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Pawel Waszkiewicz |
Distance and Measurement in Domain Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 448-462, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Lei Fan |
A New Approach to Quantitative Domain Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 77-87, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Michael Huth 0001, Shekhar Pradhan |
Model-Checking View-Based Partial Specifications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 174-196, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Dan R. Ghica |
Regular-Language Semantics for a Call-by-Value Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 106-118, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Fabio Gadducci, Ugo Montanari |
A Concurrent Graph Semantics for Mobile Ambients. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 88-105, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Achim Jung, Mathias Kegelmann, M. Andrew Moshier |
Stably Compact Spaces and Closed Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 209-231, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Keye Martin |
Unique Fixed Points in Domain Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 258-268, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot, Radhia Cousot |
A Case Study in Abstract Interpretation Based Program Transformation: Blocking Command Elimination. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 41-64, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Joshua D. Guttman |
Key Compromise, Strand Spaces, and the Authentication Tests. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 141-161, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Bauer |
A Relationship between Equilogical Spaces and Type Two Effectivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 1-21, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jan J. M. M. Rutten |
Elements of Stream Calculus (An Extensive Exercise in Coinduction). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 358-423, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | John C. Mitchell, Ajith Ramanathan, Andre Scedrov, Vanessa Teague |
A Probabilistic Polynomial-time Calculus For Analysis of Cryptographic Protocols (Preliminary Report). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 280-310, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Gordon D. Plotkin, John Power |
Semantics for Algebraic Operations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 332-345, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andrew D. Gordon 0001, Alan Jeffrey |
Typing Correspondence Assertions for Communication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 119-140, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes |
Transfer Principles for Reasoning About Concurrent Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001, pp. 22-40, 2001, Elsevier. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes, Michael W. Mislove (eds.) |
Seventeenth Conference on the Mathematical Foundations of Programming Semantics, MFPS 2001, Aarhus, Denmark, May 23-26, 2001 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
1 | Reinhold Heckmann |
Completeness Classes of Equilogical Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 293-308, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | J. Polokow, Frank Pfenning |
Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 449-466, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ralf Schweimeier, Alan Jeffrey |
A Categorical and Graphical Treatment of Closure Conversion. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 481-511, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Geoffrey Smith 0001, Dennis M. Volpano |
Confinement Properties for Multi-Threaded Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 132-142, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Søren B. Lassen |
Bisimulation in Untyped Lambda Calculus: Böhm Trees and Bisimulation up to Context. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 346-374, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Paul Syvreson |
Towards a Strand Semantics for Authentication Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 143-157, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martín Hötzel Escardó |
On the Compact-regular Coreflection of a Stably Locally Compact Locale. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 213-228, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Ralph Kummetz |
From Partial Orders with Projections to Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 334-345, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martín Hötzel Escardó, Bob Flagg |
Semantic Domains, Injective Spaces and Monads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 229-244, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | John Power, Edmund Robinson |
Modularity and Dyads. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 467-480, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Susan Older |
Strong fairness and Recursive Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 433-448, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes |
Reasoning About Recursive Processes: Expansion is not Always Fair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 182-201, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Catherine Meadows 0001, Dennis M. Volpano |
The MFPS XV Security Session. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 76-79, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Führmann |
Direct Models for the Computational Lambda Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 245-292, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Kim B. Bruce, Joseph Vanderwaart |
Semantics-Driven Language Design: Statically Type-safe Virtual Types in Object-oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 50-75, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Mislove |
Local Dcpos, Local Cpos and Local Completions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 399-412, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | C. Barry Jay |
Denotational Semantics of Shape: Past, Present and Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 320-333, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov |
Preface. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 512-513, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Dominique Bolignano |
Using Abstract Interpretation for the Safe Verification of Security Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 95-116, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Viviana Bono, John C. Mitchell, Amit Patel 0001, Vitaly Shmatikov |
A Core Calculus of Classes and Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 28-49, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Peter Selinger |
Categorical Structure of Asynchrony. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 158-181, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Martín Abadi |
Secrecy in Programming-Language Semantics. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 80-94, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | George C. Necula |
Enforcing Security and Safety with Proof-Carrying Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 117-131, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Krzysztof Ciesielski, Bob Flagg, Ralph Kopperman |
Characterizing Topologies With Bounded Complete Computational Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 202-212, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Hongde Hu |
Contractible Coherence Spaces and Maximal Maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 309-319, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Matías Menni, Alex K. Simpson |
The Largest Topological Subcategory of Countably-based Equilogical Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 375-398, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Paulo Sérgio Almeida |
Type-checking Balloon Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 1-27, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Lawrence S. Moss |
Recursion and Corecursion Have the Same Equational Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999, pp. 413-432, 1999, Elsevier. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes, Achim Jung, Michael W. Mislove, Andre Scedrov (eds.) |
Fifteenth Conference on Mathematical Foundations of Progamming Semantics, MFPS 1999, Tulane University, New Orleans, LA, USA, April 28 - May 1, 1999 ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![Elsevier The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP BibTeX RDF |
|
1 | Hongde Hu, André Joyal |
Coherence completions of categories and their enriched softness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 174-190, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Abbas Edalat, Peter John Potts |
A new representation for exact real numbers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 119-132, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Eugenio Moggi |
A categorical account of two-level languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 272, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Hayo Thielecke |
Continuation semantics and self-adjointness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 348-364, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Gilles Barthe, John Hatcliff, Morten Heine Sørensen |
A notion of classical pure type system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 4-59, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael B. Smyth |
Topology and tolerance. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 326, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Cousot |
Constructive design of a hierarchy of semantics of a transition system by abstract interpretation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 77-102, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Franck van Breugel |
Failures, finiteness and full abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 391-408, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Vaughan R. Pratt |
Towards full completeness of the linear logic of Chu spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 308-325, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Susan Older |
A Framework for Fair Communicating Processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 273-292, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael W. Mislove |
Using duality to solve domain equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 255-271, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Max I. Kanovich, Mitsuhiro Okada, Andre Scedrov |
Phase semantics for light linear logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 221-234, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Heckmann |
Abstract valuations: A novel representation of Plotkin power domain and Vietoris hyperspace. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 160-173, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove |
Foreword. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 1-2, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes |
Idealized CSP: combining procedures with communicating processes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 60-76, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Guo-Qiang Zhang 0001, William C. Rounds |
Resolution in the Smyth powerdomain. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 409, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Bob Flagg, Ralph Kopperman |
Computational models for ultrametric spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 151-159, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo P. Fiore, Giuseppe Rosolini |
The category of cpos from a synthetic viewpoint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 133-150, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Philipp Sünderhauf |
Tensor products and powerspaces in quantitative domain theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 327-347, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Peter Thiemann 0001 |
Correctness of a region-based binding-time analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 365-390, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Yoshiki Kinoshita, John Power, Makoto Takeyama |
Sketches - Dedicated to Michael Barr on the occasion of his 60th birthday. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 235-248, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Michael Makkai, Giuseppe Rosolini |
Studying repleteness in the category of cpos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 249-254, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Frank S. de Boer, Maurizio Gabbrielli |
Infinite computations in concurrent constraint programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFPS ![In: Thirteenth Annual Conference on Mathematical Foundations of Progamming Semantics, MFPS 1997, Carnegie Mellon University, Pittsburgh, PA, USA, March 23-26, 1997, pp. 103-118, 1997, Elsevier. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|