P
Paolo Tranquilli
Researcher at École normale supérieure de Lyon
Publications - 1
Citations - 44
Paolo Tranquilli is an academic researcher from École normale supérieure de Lyon. The author has contributed to research in topics: Lambda calculus & Interaction nets. The author has an hindex of 1, co-authored 1 publications receiving 42 citations.
Papers
More filters
Journal ArticleDOI
Intuitionistic differential nets and lambda-calculus
TL;DR: Normalization of the exponential reduction and confluence of the full one is proved and a translation of Boudol?s untyped ?-calculus with resources extended with a linear?nonlinear reduction a la Ehrhard and Regnier?s differential ?