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
https://portal.mardi4nfdi.de/entity/Q2851088	2013-10-02	Paper
https://portal.mardi4nfdi.de/entity/Q2847789	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Luca Paolini