Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Claudio Hermida, Robert D. Tennent |
Monoidal Indeterminates and Categories of Possible Worlds. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Alexander Kurz 0001, Raul Andres Leal |
Equational Coalgebraic Logic. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Ana Bove |
Another Look at Function Domains. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Elham Kashefi, Daniel K. L. Oi, Dan E. Browne, Janet Anders, Erika Andersson |
Twisted Graph States for Ancilla-driven Universal Quantum Computation. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | David de Frutos-Escrig, Carlos Gregorio-Rodríguez, Miguel Palomino |
On the Unification of Process Semantics: Equational Semantics. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Neil Ghani, Peter G. Hancock, Dirk Pattinson |
Continuous Functions on Final Coalgebras. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Brown, Riccardo Pucella |
Categories of Timed Stochastic Relations. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Sam Staton |
Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names. |
MFPS |
2009 |
DBLP DOI BibTeX RDF |
|
1 | Samson Abramsky, Michael W. Mislove, Catuscia Palamidessi (eds.) |
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, MFPS 2009, Oxford, UK, April 3-7, 2009 |
MFPS |
2009 |
DBLP BibTeX RDF |
|
1 | Andrej Bauer, Michael W. Mislove |
Preface. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Yannick Delbecque, Prakash Panangaden |
Game Semantics for Quantum Stores. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Adam Scriven |
A Functional Algorithm for Exact Real Integration with Invariant Measures. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Cosimo Laneve, Antonio Vitale |
Expressivity in the kappa Family. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Paul Blain Levy |
Global State Considered Helpful. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Keye Martin, Prakash Panangaden |
A Technique for Verifying Measurements. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Esfandiar Haghverdi, Philip J. Scott |
Proofs as Polynomials. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Robert Dockins, Andrew W. Appel, Aquinas Hobor |
Multimodal Separation Logic for Reasoning About Operational Semantics. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo P. Fiore, Chung-Kil Hur |
Term Equational Systems and Logics: (Extended Abstract). |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Carsten Varming, Lars Birkedal |
Higher-Order Separation Logic in Isabelle/HOLCF. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alexandre Buisse, Peter Dybjer |
The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Gordon D. Plotkin, John Power |
Tensors of Comodels and Models for Operational Semantics. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Jean Krivine, Robin Milner, Angelo Troina |
Stochastic Bigraphs. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Daniel Leivant |
Propositional Dynamic Logic with Program Quantifiers. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Achim Jung, M. Andrew Moshier, Steven J. Vickers |
Presenting Dcpos and Dcpo Algebras. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Marino Miculan |
A Categorical Model of the Fusion Calculus. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Konstantinos Chatzikokolakis 0001, Keye Martin |
A Monotonicity Principle for Information Theory. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Rossberg |
Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Vashti Galpin, Jane Hillston, Luca Bortolussi |
HYPE Applied to the Modelling of Hybrid Biological Systems. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Alan P. Sexton, Hayo Thielecke |
Reasoning about B+ Trees with Operational Semantics and Separation Logic. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Chris Heunen |
Semimodule Enrichment. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Bob Coecke, Simon Perdrix, Éric Oliver Paquette |
Bases in Diagrammatic Quantum Protocols. |
MFPS |
2008 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Bauer, Michael W. Mislove (eds.) |
Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2008, Philadelphia, PA, USA, May 22-25, 2008 |
MFPS |
2008 |
DBLP BibTeX RDF |
|
1 | Anindya Banerjee 0001, Roberto Giacobazzi, Isabella Mastroeni |
What You Lose is What You Leak: Information Leakage in Declassification Policies. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Andreas Abel 0001, Klaus Aehlig, Peter Dybjer |
Normalization by Evaluation for Martin-Löf Type Theory with One Universe. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joe Mashburn |
A Spectral Order for Infinite Dimensional Quantum Spaces: A Preliminary Report. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Bartek Klin |
Coalgebraic Modal Logic Beyond Sets. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Rasmus Ejlers Møgelberg, Alex Simpson |
Relational Parametricity for Control Considered as a Computational Effect. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Paul Blain Levy |
Amb Breaks Well-Pointedness, Ground Amb Doesn't. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo P. Fiore |
Preface. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | David A. Schmidt |
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Merro |
An Observational Theory for Mobile Ad Hoc Networks. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Ernie Manes |
Taut Monads, Dynamic Logic and Determinism. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Davide Grohmann, Marino Miculan |
Directed Bigraphs. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Shaddin F. Doghmi, Joshua D. Guttman, F. Javier Thayer |
Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Joachim Niehren, David Sabel, Manfred Schmidt-Schauß, Jan Schwinghammer |
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Guy Beaulieu |
Probabilistic Completion of Nondeterministic Models. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Hans Hüttel, Michael D. Pedersen |
A Logical Characterisation of Static Equivalence. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Achim Jung, M. Andrew Moshier |
A Hofmann-Mislove theorem for Bitopological Spaces. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | John Power |
Abstract Syntax: Substitution and Binders: Invited Address. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | James Laird |
Sequentiality and the CPS Semantics of Fresh Names. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Manfred Droste, Dietrich Kuske |
Almost Every Domain is Universal. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Thomas Anberrée |
On the Non-sequential Nature of Domain Models of Real-number Computation. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Dimitrios Vytiniotis, Stephanie Weirich |
Free Theorems and Runtime Type Representations. |
MFPS |
2007 |
DBLP DOI BibTeX RDF |
|
1 | Marcelo Fiore (eds.) |
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, MFPS 2007, New Orleans, LA, USA, April 11-14, 2007 |
MFPS |
2007 |
DBLP BibTeX RDF |
|
1 | Weng Kin Ho |
An Operational Domain-theoretic Treatment of Recursive Types. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Rohit Chadha, Paulo Mateus, Amílcar Sernadas |
Reasoning About Imperative Quantum Programs. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Uri Zarfaty, Philippa Gardner |
Local Reasoning About Tree Update. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Paul Blain Levy |
Monads and Adjunctions for Global Exceptions. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Keye Martin, Ira S. Moskowitz, Gerard Allwein |
Algebraic Information Theory For Binary Channels. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | John Power |
Semantics for Local Computational Effects. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniela Cancila, Furio Honsell, Marina Lenisa |
Functors Determined by Values on Objects. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Matthew Collinson, David J. Pym |
Bunching for Regions and Locations. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Nicola Mezzetti, Davide Sangiorgi |
Towards a Calculus For Wireless Systems. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Massimo Merro, Corrado Biasi |
On the Observational Theory of the CPS-calculus: (Extended Abstract). |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Eduardo Bonelli |
The Linear Logical Abstract Machine. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Mohamed A. El-Zawawy, Achim Jung |
Priestley Duality for Strong Proximity Lattices. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes |
Variables as Resource for Shared-Memory Programs: Semantics and Soundness. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Josh Berdine, Peter W. O'Hearn |
Strong Update, Disposal, and Encapsulation in Bunched Typing. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Adam Antonik, Michael Huth 0001 |
Efficient Patterns for Model Checking Partial State Spaces in CTL intersection LTL. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Ingo Battenfeld |
Computational Effects in Topological Domain Theory. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Patricia Bouyer |
Weighted Timed Automata: Model-Checking and Games. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Chris Heunen, Bart Jacobs 0001 |
Arrows, like Monads, are Monoids. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Daniele Varacca, Nobuko Yoshida |
Typed Event Structures and the pi-Calculus: Extended Abstract. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Stephen D. Brookes, Michael W. Mislove |
Preface. |
MFPS |
2006 |
DBLP DOI BibTeX RDF |
|
1 | Martín Hötzel Escardó, Achim Jung, Michael W. Mislove (eds.) |
Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2005, Birmingham, UK, May 18-21, 2005 |
MFPS |
2006 |
DBLP BibTeX RDF |
|
1 | Stephen D. Brookes, Michael W. Mislove (eds.) |
Proceedings of the 22nd Annual Conference on Mathematical Foundations of Programming Semantics, MFPS 2006, Genova, Italy, May 23-27, 2006 |
MFPS |
2006 |
DBLP BibTeX RDF |
|
1 | Yevgeniy Makarov |
Practical Program Extraction from Classical Proofs. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Paul Blain Levy |
Infinite Trace Equivalence. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Cliff B. Jones |
An Approach to Splitting Atoms Safely: Extended Abstract. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Altaf Hussain, Michael Huth 0001 |
Automata Games for Multiple-model Checking. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Peter Buchlovsky, Hayo Thielecke |
A Type-theoretic Reconstruction of the Visitor Pattern. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Reinhold Heckmann |
Injective Convergence Spaces and Equilogical Spaces via Pretopological Spaces. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Ewen Denney, John Power, Konstantinos Tourlas |
Hiproofs: A Hierarchical Notion of Proof Tree. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Gavin Lowe, Joël Ouaknine |
On Timed Models and Full Abstraction. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Stephen Brookes |
A Grainless Semantics for Parallel Programs with Shared Mutable Data. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Richard Bornat, Cristiano Calcagno, Hongseok Yang |
Variables as Resource in Separation Logic. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Klaus Keimel |
Topological Cones: Foundations for a Domain Theoretical Semantics Combining Probability and Nondeterminism. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Matthias Schröder 0001, Alex Simpson |
Probabilistic Observations and Valuations: (Extended Abstract). |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Isar Stubbe |
Towards "Dynamic Domains": Totally Continuous Cocomplete Q-categories. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Lars Birkedal, Rasmus Ejlers Møgelberg, Rasmus Lerchedahl Petersen |
Parametric Domain-theoretic Models of Polymorphic Intuitionistic / Linear Lambda Calculus. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Dale Miller 0001, Alexis Saurin |
A Game Semantics for Proof Search: Preliminary Results. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | E. Kleiner, A. W. Roscoe 0001 |
On the Relationship Between Web Services Security and Traditional Protocols. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Bob Coecke |
Strongly Compact Closed Semantics. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Michael Backes 0001 |
Real-or-random Key Secrecy of the Otway-Rees Protocol via a Symbolic Security Proof. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Andrej Bauer |
First Steps in Synthetic Computability Theory. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Jirí Adámek, Stefan Milius, Jirí Velebil |
Elgot Algebras: (Extended Abstract). |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Luca Viganò 0001 |
Automated Security Protocol Analysis With the AVISPA Tool. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Malgorzata Biernacka, Olivier Danvy, Kristian Støvring |
Program Extraction From Proofs of Weak Head Normalization. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Abbas Edalat, Dirk Pattinson |
Domain Theoretic Solutions of Initial Value Problems for Unbounded Vector Fields. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|
1 | Emmanuel Beffara |
A Concurrent Model for Linear Logic. |
MFPS |
2005 |
DBLP DOI BibTeX RDF |
|