The value of the b quark mass at the MZ scale defined in the MS renormalization scheme,
mb (MZ), was determined using 2.8 million hadronic Z decays collected during 1992-1994 …

Over time, basic research tends to lead to specialization–increasingly narrow t-ics are
addressed by increasingly focussed communities, publishing in increasingly con ned …

We describe the foundations of a system for rule-based programming which integrates two
powerful mechanisms:(1) matching with context variables, sequence variables, and regular …

Lambda calculus with patterns Page 1 Theoretical Computer Science 398 (2008) 16–31
www.elsevier.com/locate/tcs Lambda calculus with patterns Jan Willem Klopa,b,c,∗, Vincent van …

High-level formalisms for reasoning about names and binding such as de Bruijn indices,
various flavors of higher-order abstract syntax, the Theory of Contexts, and nominal abstract …

In predicate logic, the proof that a theorem P holds in a theory Th is typically conducted in
natural deduction or in the sequent calculus using all the information contained in the theory …

This paper presents an overview on the use of the rewriting calculus to express rewrite
strategies. We motivate first the use of rewrite strategies by examples in the ELAN language …

Le calcul de réécriture est un lambda-calcul avec filtrage. Cette thèse est consacrée à
l'étude de systèmes de types pour ce calcul et à son utilisation dans le domaine de la …

We define a notion of model for the $\lambda $$\Pi $-calculus modulo theory and prove a
soundness theorem. We then define a notion of super-consistency and prove that proof …

The Rewriting Calculus (ρ-calculus, for short) was introduced at the end of the 1990s and
fully integrates term-rewriting and λ-calculus. The rewrite rules, acting as elaborated …