B
Bruno Guillaume
Researcher at University of Paris-Sud
Publications - 2
Citations - 68
Bruno Guillaume is an academic researcher from University of Paris-Sud. The author has contributed to research in topics: Normalization (statistics) & Typed lambda calculus. The author has an hindex of 2, co-authored 2 publications receiving 68 citations.
Papers
More filters
Journal ArticleDOI
A λ-calculus with explicit weakening and explicit substitution
René David,Bruno Guillaume +1 more
TL;DR: The main novelty of this calculus (given with de Bruijn indices) is the use of labels that represent updating functions and correspond to explicit weakening.
Journal ArticleDOI
The λ s e -calculus does not preserve strong normalisation
TL;DR: This paper proves that the conjecture that the λse-calculus preserves the strong normalisation of the κ-Calculus, and that this conjecture is false.