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

• 2017
• 
  Iliano Cervesato, Maribel Fernández:
  Proceedings Fourth International Workshop on Linearity, LINEARITY 2016, Porto, Portugal, 25 June 2016. EPTCS 238, 2017 [contents]
• 2016
• 
  Matteo Acclavio:
  Proof diagrams for multiplicative linear logic. LINEARITY 2016: 11-23
• 
  Antoine Allioux:
  Krivine Machine and Taylor Expansion in a Non-uniform Setting. LINEARITY 2016: 24-32
• 
  Lawrence Dunn, Jamie Vicary:
  Surface Proofs for Nonsymmetric Linear Logic (Extended Abstract). LINEARITY 2016: 33-43
• 
  Stefano Guerrini:
  Linear β-reduction. LINEARITY 2016: 44-53
• 
  Masahito Hasegawa:
  Linear Exponential Comonads without Symmetry. LINEARITY 2016: 54-63
• 
  Quentin Heath, Dale Miller:
  A Proof Theory for Model Checking: An Extended Abstract. LINEARITY 2016: 1-10
• 
  Miguel E. P. Silva, Mário Florido, Frank Pfenning:
  Non-Blocking Concurrent Imperative Programming with Session Types. LINEARITY 2016: 64-72
• 
  Max Willsey, Rokhini Prabhu, Frank Pfenning:
  Design and Implementation of Concurrent C0. LINEARITY 2016: 73-82
• 2015
• 
  Sandra Alves, Iliano Cervesato:
  Proceedings Third International Workshop on Linearity, LINEARITY 2014, Vienna, Austria, 13th July, 2014. EPTCS 176, 2015 [contents]
• 2014
• 
  Michele Basaldella:
  Ludics without Designs I: Triads. LINEARITY 2014: 49-63
• 
  Taus Brock-Nannestad, Nicolas Guenot:
  Cut Elimination in Multifocused Linear Logic. LINEARITY 2014: 24-33
• 
  Kaustuv Chaudhuri:
  Undecidability of Multiplicative Subexponential Logic. LINEARITY 2014: 1-8
• 
  Edward Gan, Jesse A. Tov, Greg Morrisett:
  Type Classes for Lightweight Substructural Types. LINEARITY 2014: 34-48
• 
  Ugo Dal Lago, Margherita Zorzi:
  Wave-Style Token Machines and Quantum Lambda Calculi. LINEARITY 2014: 64-78
• 
  Jennifer Paykin, Steve Zdancewic:
  A Linear/Producer/Consumer Model of Classical Linear Logic. LINEARITY 2014: 9-23
• 
  Marco Solieri:
  Geometry of Resource Interaction - A Minimalist Approach. LINEARITY 2014: 79-94
• 2012
• 
  Maurizio Dominici, Simona Ronchi Della Rocca, Paolo Tranquilli:
  Standardization in resource lambda-calculus. LINEARITY 2012: 1-11
• 
  Maribel Fernández, Sébastien Maulat:
  Higher-order port-graph rewriting. LINEARITY 2012: 25-37
• 
  Pedro Baltazar, Dimitris Mostrous, Vasco Thudichum Vasconcelos:
  Linearly Refined Session Types. LINEARITY 2012: 38-49
• 
  Yuxin Deng, Iliano Cervesato, Robert J. Simmons:
  Relating Reasoning Methodologies in Linear Logic and Process Algebra. LINEARITY 2012: 50-60
• 
  Eugen Jiresch:
  Extending the Interaction Nets Calculus by Generic Rules. LINEARITY 2012: 12-24
• 
  Sandra Alves, Ian Mackie:
  Proceedings 2nd International Workshop on Linearity, LINEARITY 2012, Tallinn, Estonia, 1 April 2012. EPTCS 101, 2012 [contents]
• 2009
• 
  Marco Gaboardi, Mauro Piccolo:
  Categorical Models for a Semantically Linear Lambda-calculus. LINEARITY 2009: 1-13
• 
  Paolo Torrini, Reiko Heckel:
  Resource-Bound Quantification for Graph Transformation. LINEARITY 2009: 14-25
• 
  Edsko de Vries, Adrian Francalanza, Matthew Hennessy:
  Uniqueness Typing for Resource Management in Message-Passing Concurrency. LINEARITY 2009: 26-37
• 
  Maribel Fernández, Nikolaos Siafakas:
  Labelled Lambda-calculi with Explicit Copy and Erase. LINEARITY 2009: 49-64
• 
  Antonio Bucciarelli, Alberto Carraro, Thomas Ehrhard, Antonino Salibra:
  On Linear Information Systems. LINEARITY 2009: 38-48
• 
  Mário Florido, Ian Mackie:
  Proceedings First International Workshop on Linearity, LINEARITY 2009, Coimbra, Portugal, 12th September 2009. EPTCS 22, 2009 [contents]