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

• 1988
• 
  Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
  Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings. Lecture Notes in Computer Science 298, Springer 1988, ISBN 3-540-19020-1 [contents]
• 1987
• 
  Pierre America, Jan J. M. M. Rutten:
  Solving Reflexive Domain Equations in a Category of Complete Metric Spaces. MFPS 1987: 254-288
• 
  David B. Benson:
  The Shuffle Bialgebra. MFPS 1987: 616-637
• 
  Adrienne G. Bloss, Paul Hudak:
  Path Semantics. MFPS 1987: 476-489
• 
  Laurette Bradley:
  A Treatment of Languages with Stages of Evaluation. MFPS 1987: 425-443
• 
  Stephen D. Brookes:
  Semantically Based Axiomatics. MFPS 1987: 312-330
• 
  Kim B. Bruce, Jon G. Riecke:
  The Semantics of Miranda's Algebraic Types. MFPS 1987: 455-473
• 
  Aurelio Carboni, Peter J. Freyd, Andre Scedrov:
  A Categorical Approach to Realizability and Polymorphic Types. MFPS 1987: 23-42
• 
  Thierry Coquand, Carl A. Gunter, Glynn Winskel:
  DI-Domains as a Model of Polymorphism. MFPS 1987: 344-363
• 
  Ernst-Erich Doberkat:
  Topological Completeness in an Ideal Model for Polymorphic Types. MFPS 1987: 289-302
• 
  Steven K. Graham:
  Closure Properties of a Probabilistic Domain Construction. MFPS 1987: 213-233
• 
  John W. Gray:
  A Categorical Treatment of Polymorphic Operations. MFPS 1987: 2-22
• 
  Karel Hrbacek:
  A Powerdomain Construction. MFPS 1987: 200-212
• 
  Neil D. Jones, Peter Sestoft, Harald Søndergaard:
  MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract). MFPS 1987: 386-413
• 
  Achim Jung:
  New Results on Hierarchies of Domains. MFPS 1987: 303-310
• 
  Tsutomu Kamimura, Adrian Tang:
  Continuous Auxiliary Relations. MFPS 1987: 364-371
• 
  Robert E. Kent:
  The Metric Closure Powerspace Construction. MFPS 1987: 173-199
• 
  Jimmie D. Lawson:
  The Versatile Continuous Order. MFPS 1987: 134-160
• 
  Ernie Manes:
  Assertional Categories. MFPS 1987: 85-120
• 
  Michael W. Mislove:
  On the Smyth Power Domain. MFPS 1987: 161-172
• 
  Philip S. Mulry:
  Kan Extensions in Effective Semantics. MFPS 1987: 121-132
• 
  Uwe F. Pleban, Peter Lee:
  High-Level Semantics: An Integrated Approach to Programming Language Semantics and the Specification of Implementations. MFPS 1987: 550-571
• 
  Joylyn Reed:
  Semantics-Based Tools for a Specification-Support Environment. MFPS 1987: 414-424
• 
  George M. Reed, A. W. Roscoe:
  Metric Spaces as Models for Real-Time Concurrency. MFPS 1987: 331-343
• 
  György E. Révész:
  Rule-Based Semantics for an Extended Lambda-Calculus. MFPS 1987: 43-56
• 
  Gerlinde Schreiber:
  Operational Semantics and a Distributed Implementation of CSP. MFPS 1987: 444-454
• 
  Michael B. Smyth:
  Quasi Uniformities: Reconciling Domains with Metric Spaces. MFPS 1987: 236-253
• 
  Dieter Spreen:
  Computable One-to-one Enumerations of Effective Domains. MFPS 1987: 372-384
• 
  Steven Vickers:
  An Algorithmic Approach to the p-adic Integers. MFPS 1987: 599-615
• 
  Eric G. Wagner:
  Semantics of Block Structured Languages with Pointers. MFPS 1987: 57-84

skipping 3 more matches