• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 23 matches

• 2008
• 
  Andrej Bauer, Michael W. Mislove:
  Preface. MFPS 2008: 1-4
• 
  Alexandre Buisse, Peter Dybjer:
  The Interpretation of Intuitionistic Type Theory in Locally Cartesian Closed Categories - an Intuitionistic Perspective. MFPS 2008: 21-32
• 
  Konstantinos Chatzikokolakis, Keye Martin:
  A Monotonicity Principle for Information Theory. MFPS 2008: 111-129
• 
  Bob Coecke, Simon Perdrix, Éric Oliver Paquette:
  Bases in Diagrammatic Quantum Protocols. MFPS 2008: 131-152
• 
  Yannick Delbecque, Prakash Panangaden:
  Game Semantics for Quantum Stores. MFPS 2008: 153-170
• 
  Robert Dockins, Andrew W. Appel, Aquinas Hobor:
  Multimodal Separation Logic for Reasoning About Operational Semantics. MFPS 2008: 5-20
• 
  Marcelo P. Fiore, Chung-Kil Hur:
  Term Equational Systems and Logics: (Extended Abstract). MFPS 2008: 171-192
• 
  Vashti Galpin, Jane Hillston, Luca Bortolussi:
  HYPE Applied to the Modelling of Hybrid Biological Systems. MFPS 2008: 33-51
• 
  Esfandiar Haghverdi, Philip J. Scott:
  Proofs as Polynomials. MFPS 2008: 53-72
• 
  Chris Heunen:
  Semimodule Enrichment. MFPS 2008: 193-208
• 
  Achim Jung, M. Andrew Moshier, Steven J. Vickers:
  Presenting Dcpos and Dcpo Algebras. MFPS 2008: 209-229
• 
  Jean Krivine, Robin Milner, Angelo Troina:
  Stochastic Bigraphs. MFPS 2008: 73-96
• 
  Cosimo Laneve, Antonio Vitale:
  Expressivity in the kappa Family. MFPS 2008: 97-109
• 
  Daniel Leivant:
  Propositional Dynamic Logic with Program Quantifiers. MFPS 2008: 231-240
• 
  Paul Blain Levy:
  Global State Considered Helpful. MFPS 2008: 241-259
• 
  Keye Martin, Prakash Panangaden:
  A Technique for Verifying Measurements. MFPS 2008: 261-273
• 
  Marino Miculan:
  A Categorical Model of the Fusion Calculus. MFPS 2008: 275-293
• 
  Gordon D. Plotkin, John Power:
  Tensors of Comodels and Models for Operational Semantics. MFPS 2008: 295-311
• 
  Andreas Rossberg:
  Dynamic Translucency with Abstraction Kinds and Higher-Order Coercions. MFPS 2008: 313-336
• 
  Adam Scriven:
  A Functional Algorithm for Exact Real Integration with Invariant Measures. MFPS 2008: 337-353
• 
  Alan P. Sexton, Hayo Thielecke:
  Reasoning about B+ Trees with Operational Semantics and Separation Logic. MFPS 2008: 355-369
• 
  Carsten Varming, Lars Birkedal:
  Higher-Order Separation Logic in Isabelle/HOLCF. MFPS 2008: 371-389
• 
  Andrej Bauer, Michael W. Mislove:
  Proceedings of the 24th Conference on the Mathematical Foundations of Programming Semantics, MFPS 2008, Philadelphia, PA, USA, May 22-25, 2008. Electronic Notes in Theoretical Computer Science 218, Elsevier 2008 [contents]