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

• 2022
• 
  Federico Olimpieri, Lionel Vaux Auclair:
  On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants. Log. Methods Comput. Sci. 18(1) (2022)
• 2021
• 
  Lionel Vaux:
  Sur la syntaxe de la sémantique quantitative. Aix-Marseille University, France, 2021
• 
  Jules Chouquet, Lionel Vaux Auclair:
  An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets. Log. Methods Comput. Sci. 17(4) (2021)
• 2020
• 
  Federico Olimpieri, Lionel Vaux Auclair:
  On the Taylor expansion of λ-terms and the groupoid structure of their rigid approximants. CoRR abs/2008.02665 (2020)
• 2019
• 
  Lionel Vaux:
  Normalizing the Taylor expansion of non-deterministic {\lambda}-terms, via parallel reduction of resource vectors. Log. Methods Comput. Sci. 15(3) (2019)
• 
  Jules Chouquet, Lionel Vaux Auclair:
  An application of parallel cut elimination in multiplicative linear logic to the Taylor expansion of proof nets. CoRR abs/1902.05193 (2019)
• 2018
• 
  Christine Tasson, Lionel Vaux:
  Transport of finiteness structures and applications. Math. Struct. Comput. Sci. 28(7): 1061-1096 (2018)
• 
  Jules Chouquet, Lionel Vaux Auclair:
  An Application of Parallel Cut Elimination in Unit-Free Multiplicative Linear Logic to the Taylor Expansion of Proof Nets. CSL 2018: 15:1-15:17
• 2017
• 
  Lionel Vaux:
  Taylor Expansion, lambda-Reduction and Normalization. CSL 2017: 39:1-39:16
• 
  Lionel Vaux:
  Normalizing the Taylor expansion of non-deterministic λ-terms, via parallel reduction of resource vectors. CoRR abs/1706.04700 (2017)
• 2016
• 
  Michele Pagani, Christine Tasson, Lionel Vaux:
  Strong Normalizability as a Finiteness Structure via the Taylor Expansion of \lambda λ -terms. FoSSaCS 2016: 408-423
• 
  Michele Pagani, Christine Tasson, Lionel Vaux:
  Strong Normalizability as a Finiteness Structure via the Taylor Expansion of λ-terms. CoRR abs/1603.07218 (2016)
• 2013
• 
  Lionel Vaux:
  A non-uniform finitary relational semantics of system T. RAIRO Theor. Informatics Appl. 47(1): 111-132 (2013)
• 2010
• 
  Christine Tasson, Lionel Vaux:
  Transport of finiteness structures and applications. CoRR abs/1004.3655 (2010)
• 2009
• 
  Lionel Vaux:
  The algebraic lambda calculus. Math. Struct. Comput. Sci. 19(5): 1029-1059 (2009)
• 
  Lionel Vaux:
  A Non-uniform Finitary Relational Semantics of System T. FICS 2009: 116-123
• 
  Lionel Vaux:
  Differential Linear Logic and Polarization. TLCA 2009: 371-385
• 2007
• 
  Lionel Vaux:
  λ-calcul différentiel et logique classique : interactions calculatoires. (Differential λ-calculus and classical logic : their computational interactions). University of the Mediterranean, Marseille, France, 2007
• 
  Lionel Vaux:
  The differential lambdamu-calculus. Theor. Comput. Sci. 379(1-2): 166-209 (2007)
• 
  Lionel Vaux:
  On Linear Combinations of lambda -Terms. RTA 2007: 374-388
• 
  Lionel Vaux:
  Convolution λ̅μ-Calculus. TLCA 2007: 381-395