Luca Paolini

Available identifiers

zbMath Open paolini.lucaWikidataQ57419360 ScholiaQ57419360MaRDI QIDQ534699

List of research outcomes

Publication	Date of Publication	Type
On logical and extensional characterizations of attributed feature models	2022-04-01	Paper
https://portal.mardi4nfdi.de/entity/Q5018491	2021-12-20	Paper
Splitting Recursion Schemes into Reversible and Classical Interacting Threads	2021-11-03	Paper
On two characterizations of feature models	2021-07-08	Paper
On the expressivity of total reversible programming languages	2021-07-05	Paper
The fixed point problem of a simple reversible language	2020-04-21	Paper
A class of recursive permutations which is primitive recursive complete	2020-04-21	Paper
QPCF: higher-order languages and quantum circuits	2019-10-25	Paper
A Certified Study of a Reversible Programming Language	2018-08-13	Paper
https://portal.mardi4nfdi.de/entity/Q4600771	2018-01-12	Paper
Standardization of a Call-By-Value Lambda-Calculus	2017-07-12	Paper
Essential and relational models	2017-06-14	Paper
$$\mathsf {qPCF}$$ : A Language for Quantum Circuit Computations	2017-05-19	Paper
A class of reversible primitive recursive functions	2016-08-05	Paper
On the reification of semantic linearity	2016-07-28	Paper
Logical semantics for stability	2016-05-10	Paper
Linearity and PCF	2015-03-05	Paper
Lazy strong normalization	2013-10-02	Paper
Lazy logical semantics	2013-09-11	Paper
Call-by-value solvability, revisited	2012-07-20	Paper
Strong normalization from an unusual point of view	2011-05-10	Paper
A Process-Model for Linear Programs	2009-07-02	Paper
Parametric \(\lambda \)-theories	2008-06-24	Paper
Foundations of Software Science and Computation Structures	2007-05-02	Paper
A stable programming language	2006-06-09	Paper
The parametric lambda calculus. A metamodel for computation.	2005-01-12	Paper
Parametric parameter passing \(\lambda\)-calculus	2004-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q4448358	2004-02-18	Paper
Call-by-value Solvability	2000-05-09	Paper

Research outcomes over time

This page was built for person: Luca Paolini