PAOLINI, LUCA LUIGI

PAOLINI, LUCA LUIGI  

INFORMATICA  

Mostra records
Risultati 1 - 20 di 28 (tempo di esecuzione: 0.024 secondi).
Titolo Data di pubblicazione Autore(i) File
A Class of Reversible Primitive Recursive Functions 2016 Paolini, Luca; Piccolo, Mauro; Roversi, Luca
A Formal Model for Multi SPLs 2017 Damiani Ferruccio; Michael LIENHARDT; Luca Paolini
A fully abstract model for the lazy lambda-calculus 2004 L. PAOLINI; S. RONCHI DELLA ROCCA
A Process-Model for Linear Programs 2009 Luca Paolini; Mauro Piccolo
An Operational Characterization of Strong Normalization 2006 L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA
Call-by-Value Separability and Computability 2001 L. PAOLINI
Call-by-value solvability, revisited 2012 Beniamino Accattoli; Luca Paolini
From Featured Transition Systems to Modal Transition Systems with Variability Constraints 2015 ter Beek, Maurice H.; Damiani, Ferruccio; Gnesi, Stefania; Mazzanti, Franco; Paolini, Luca
Lazy Logical Semantics 2004 L. PAOLINI; S. RONCHI DELLA ROCCA
Lazy strong normalization 2005 L. PAOLINI; E. PIMENTEL; S. RONCHI DELLA ROCCA
Linearity and PCF: a semantic insight! 2011 Marco Gaboardi; Luca Paolini ; Mauro Piccolo
Logical Semantics for Stability 2009 L.Paolini; M.Piccolo; S.Ronchi Della Rocca
Multi software product lines in the wild 2018 Lienhardt, Michael; Damiani, Ferruccio; Donetti, Simone; Paolini, Luca
On Slicing Software Product Line Signatures 2020 Damiani F.; Lienhardt M.; Paolini L.
On the Expressivity of Total Reversible Programming Languages 2020 Matos A.B.; Paolini L.; Roversi L.
On Two Characterizations of Feature Models 2020 Damiani F.; Lienhardt M.; Paolini L.
qPCF: A language for quantum circuit computations 2017 Luca Paolini; Margherita Zorzi
Quantum programming made easy 2019 Paolini, Luca; Roversi, Luca; Zorzi, Margherita
Semantically Linear Programming Languages 2008 L. PAOLINI; M. PICCOLO
Splitting Recursion Schemes into Reversible and Classical Interacting Threads 2021 Armando Matos; Paolini Luca; Roversi Luca