Luca Paolini

From MaRDI portal
Person:534699

Available identifiers

zbMath Open paolini.lucaWikidataQ57419360 ScholiaQ57419360MaRDI QIDQ534699

List of research outcomes

PublicationDate of PublicationType
On logical and extensional characterizations of attributed feature models2022-04-01Paper
https://portal.mardi4nfdi.de/entity/Q50184912021-12-20Paper
Splitting Recursion Schemes into Reversible and Classical Interacting Threads2021-11-03Paper
On two characterizations of feature models2021-07-08Paper
On the expressivity of total reversible programming languages2021-07-05Paper
The fixed point problem of a simple reversible language2020-04-21Paper
A class of recursive permutations which is primitive recursive complete2020-04-21Paper
QPCF: higher-order languages and quantum circuits2019-10-25Paper
A Certified Study of a Reversible Programming Language2018-08-13Paper
https://portal.mardi4nfdi.de/entity/Q46007712018-01-12Paper
Standardization of a Call-By-Value Lambda-Calculus2017-07-12Paper
Essential and relational models2017-06-14Paper
$$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations2017-05-19Paper
A class of reversible primitive recursive functions2016-08-05Paper
On the reification of semantic linearity2016-07-28Paper
Logical Semantics for Stability2016-05-10Paper
Linearity and PCF2015-03-05Paper
https://portal.mardi4nfdi.de/entity/Q28510882013-10-02Paper
https://portal.mardi4nfdi.de/entity/Q28477892013-09-11Paper
Call-by-Value Solvability, Revisited2012-07-20Paper
Strong normalization from an unusual point of view2011-05-10Paper
A Process-Model for Linear Programs2009-07-02Paper
Parametric \(\lambda \)-theories2008-06-24Paper
Foundations of Software Science and Computation Structures2007-05-02Paper
A stable programming language2006-06-09Paper
The parametric lambda calculus. A metamodel for computation.2005-01-12Paper
Parametric parameter passing \(\lambda\)-calculus2004-11-23Paper
https://portal.mardi4nfdi.de/entity/Q44483582004-02-18Paper
Call-by-value Solvability2000-05-09Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Luca Paolini