Search results for "MFPS"

Hits ?▲	Authors	Title	Venue	Year	Link
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

Publications at "MFPS"( http://dblp.L3S.de/Venues/MFPS )