• 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 25 matches

• 2015
• 
  Nils Jansen, Benjamin Lucien Kaminski, Joost-Pieter Katoen, Federico Olmedo, Friedrich Gretz, Annabelle McIver:
  Conditioning in Probabilistic Programming. MFPS 2015: 199-216
• 
  Sergey Goncharov, Christoph Rauch, Lutz Schröder:
  Unguarded Recursion on Coinductive Resumptions. MFPS 2015: 183-198
• 
  Bart Jacobs, Bram Westerbaan:
  An Effect-Theoretic Account of Lebesgue Integration. MFPS 2015: 239-253
• 
  Marc Bagnol:
  Representation of Partial Traces. MFPS 2015: 37-49
• 
  Harsh Beohar, Pieter J. L. Cuijpers:
  Open Maps in Concrete Categories and Branching Bisimulation for Prefix Orders. MFPS 2015: 51-66
• 
  Jean-Philippe Bernardy, Thierry Coquand, Guilhem Moulin:
  A Presheaf Model of Parametric Type Theory. MFPS 2015: 67-82
• 
  Ales Bizjak, Rasmus Ejlers Møgelberg:
  A Model of Guarded Recursion With Clock Synchronisation. MFPS 2015: 83-101
• 
  Taus Brock-Nannestad, Nicolas Guenot:
  Focused Linear Logic and the λ-calculus. MFPS 2015: 103-119
• 
  Apiwat Chantawibul, Pawel Sobocinski:
  Towards Compositional Graph Theory. MFPS 2015: 121-136
• 
  Vincent Danos, Ilias Garnier:
  Dirichlet is Natural. MFPS 2015: 137-164
• 
  Neil Ghani, Patricia Johann, Fredrik Nordvall Forsberg, Federico Orsanigo, Tim Revell:
  Bifibrational Functorial Semantics of Parametric Polymorphism. MFPS 2015: 165-181
• 
  Dan R. Ghica:
  Preface. MFPS 2015: 1-2
• 
  Chris Heunen, Martti Karvonen:
  Reversible Monadic Computing. MFPS 2015: 217-237
• 
  Klaus Keimel:
  Healthiness Conditions for Predicate Transformers. MFPS 2015: 255-270
• 
  James Laird:
  Sequential Algorithms for Unbounded Nondeterminism. MFPS 2015: 271-287
• 
  Kim G. Larsen, Radu Mardare, Bingtian Xue:
  Alternation-Free Weighted Mu-Calculus: Decidability and Completeness. MFPS 2015: 289-313
• 
  Dirk Pattinson, Lutz Schröder:
  Sound and Complete Equational Reasoning over Comodels. MFPS 2015: 315-331
• 
  Marco Paviotti, Rasmus Ejlers Møgelberg, Lars Birkedal:
  A Model of PCF in Guarded Type Theory. MFPS 2015: 333-349
• 
  Pedro da Rocha Pinto, Thomas Dinsdale-Young, Philippa Gardner:
  Steps in Modular Specifications for Concurrent Modules (Invited Tutorial Paper). MFPS 2015: 3-18
• 
  Matija Pretnar:
  An Introduction to Algebraic Effects and Handlers. Invited tutorial paper. MFPS 2015: 19-35
• 
  Robert Rand, Steve Zdancewic:
  VPHL: A Verified Partial-Correctness Logic for Probabilistic Programs. MFPS 2015: 351-367
• 
  Mathys Rennela, Sam Staton:
  Complete Positivity and Natural Representation of Quantum Computations. MFPS 2015: 369-385
• 
  A. W. Roscoe:
  The Expressiveness of CSP With Priority. MFPS 2015: 387-401
• 
  Tarmo Uustalu:
  Stateful Runners of Effectful Computations. MFPS 2015: 403-421
• 
  Dan R. Ghica:
  The 31st Conference on the Mathematical Foundations of Programming Semantics, MFPS 2015, Nijmegen, The Netherlands, June 22-25, 2015. Electronic Notes in Theoretical Computer Science 319, Elsevier 2015 [contents]