L
Luca Paolini
Researcher at University of Turin
Publications - 59
Citations - 1471
Luca Paolini is an academic researcher from University of Turin. The author has contributed to research in topics: Operational semantics & Lambda calculus. The author has an hindex of 14, co-authored 59 publications receiving 1312 citations. Previous affiliations of Luca Paolini include University of Genoa.
Papers
More filters
Book ChapterDOI
λ Δ -Models
TL;DR: To study the operational behaviour of λ-terms, this work will use the denotational (mathematical) approach to choose a space of semantics values, or denotations, where terms are to be interpreted.
Book ChapterDOI
Call-by-Value solvability, revisited
Beniamino Accattoli,Luca Paolini +1 more
TL;DR: The value-substitution lambda-calculus is introduced, a simple calculus borrowing ideas from Herbelin and Zimmerman's call-by-value λ CBV calculus and from Accattoli and Kesner's substitution calculus λ sub .
Journal ArticleDOI
Call-by-value Solvability
TL;DR: The notion of solvability in the call-by-value λ -calculus is defined and completely characterized, both from an operational and a logical point of view.
BookDOI
The Parametric Lambda Calculus
TL;DR: It is shown here how the model derived recently in [Bouchut-Boyaval, M3AS (23) 2013] can be modified for flows on rugous topographies varying around an inclined plane.
Book
The Parametric Lambda Calculus: A Metamodel for Computation
TL;DR: The goal of this monograph is to clarify the role of language in the development of knowledge representation and to provide a methodology forormalizing language-based knowledge representation.