| Publication | Date of Publication | Type |
|---|
On logical and extensional characterizations of attributed feature models
Theoretical Computer Science | 2022-04-01 | Paper |
| Quantum programming made easy | 2021-12-20 | Paper |
Quantum programming made easy
(available as arXiv preprint) | 2021-12-20 | Paper |
Splitting Recursion Schemes into Reversible and Classical Interacting Threads
Reversible Computation | 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
Theoretical Computer Science | 2020-04-21 | Paper |
A class of recursive permutations which is primitive recursive complete
Theoretical Computer Science | 2020-04-21 | Paper |
QPCF: higher-order languages and quantum circuits
Journal of Automated Reasoning | 2019-10-25 | Paper |
| A certified study of a reversible programming language | 2018-08-13 | Paper |
scientific article; zbMATH DE number 6825409 (Why is no real title available?)
(available as arXiv preprint) | 2018-01-12 | Paper |
| Standardization of a Call-By-Value Lambda-Calculus | 2017-07-12 | Paper |
Essential and relational models
Mathematical Structures in Computer Science | 2017-06-14 | Paper |
\textsc{qPCF}: a language for quantum circuit computations
Lecture Notes in Computer Science | 2017-05-19 | Paper |
| A class of reversible primitive recursive functions | 2016-08-05 | Paper |
On the reification of semantic linearity
Mathematical Structures in Computer Science | 2016-07-28 | Paper |
Logical semantics for stability
Electronic Notes in Theoretical Computer Science | 2016-05-10 | Paper |
Linearity and PCF: a semantic insight!
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming | 2015-03-05 | Paper |
| Lazy strong normalization | 2013-10-02 | Paper |
| Lazy logical semantics | 2013-09-11 | Paper |
Call-by-value solvability, revisited
Functional and Logic Programming | 2012-07-20 | Paper |
Strong normalization from an unusual point of view
Theoretical Computer Science | 2011-05-10 | Paper |
A Process-Model for Linear Programs
Lecture Notes in Computer Science | 2009-07-02 | Paper |
Parametric \(\lambda \)-theories
Theoretical Computer Science | 2008-06-24 | Paper |
Foundations of Software Science and Computation Structures
Lecture Notes in Computer Science | 2007-05-02 | Paper |
A stable programming language
Information and Computation | 2006-06-09 | Paper |
The parametric lambda calculus. A metamodel for computation.
Texts in Theoretical Computer Science. An EATCS Series | 2005-01-12 | Paper |
Parametric parameter passing \(\lambda\)-calculus
Information and Computation | 2004-11-23 | Paper |
| scientific article; zbMATH DE number 2044494 (Why is no real title available?) | 2004-02-18 | Paper |
Call-by-value Solvability
RAIRO - Theoretical Informatics and Applications | 2000-05-09 | Paper |
Call-by-value Solvability
RAIRO - Theoretical Informatics and Applications | 2000-05-09 | Paper |
