| Publication | Date of Publication | Type |
|---|
Rewriting with extensional polymorphic \(\lambda \)-calculus
| 2024-06-21 | Paper |
On the power of simple diagrams
Rewriting Techniques and Applications | 2022-12-09 | Paper |
Archiving and referencing source code with Software Heritage
Lecture Notes in Computer Science | 2022-10-13 | Paper |
Combining first order algebraic rewriting systems, recursion and extensional lambda calculi
Automata, Languages and Programming | 2019-04-29 | Paper |
A confluent reduction for the extensional typed \(\lambda\)-calculus with pairs, sums, recursion and terminal object
Automata, Languages and Programming | 2019-03-29 | Paper |
On modular properties of higher order extensional lambda calculi
Automata, Languages and Programming | 2018-07-04 | Paper |
Automatic application deployment in the cloud: from practice to theory and back (invited paper)
| 2017-09-12 | Paper |
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-11-11 | Paper |
On isomorphisms of intersection types
ACM Transactions on Computational Logic | 2015-09-17 | Paper |
Aeolus: a component model for the cloud
Information and Computation | 2014-11-28 | Paper |
Component reconfiguration in the presence of conflicts
Automata, Languages, and Programming | 2013-08-07 | Paper |
On Isomorphisms of Intersection Types
Computer Science Logic | 2008-11-20 | Paper |
A calculus for parallel computations over multidimensional dense arrays
Computer Languages, Systems \& Structures | 2007-04-16 | Paper |
Remarks on isomorphisms in typed lambda calculi with empty and sum types
Annals of Pure and Applied Logic | 2006-08-16 | Paper |
A short survey of isomorphisms of types
Mathematical Structures in Computer Science | 2006-03-10 | Paper |
Typed Lambda Calculi and Applications
Lecture Notes in Computer Science | 2005-11-11 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
scientific article; zbMATH DE number 2185658 (Why is no real title available?)
| 2005-07-04 | Paper |
Proof nets and explicit substitutions
Mathematical Structures in Computer Science | 2004-09-07 | Paper |
scientific article; zbMATH DE number 1696767 (Why is no real title available?)
| 2002-07-22 | Paper |
scientific article; zbMATH DE number 1512610 (Why is no real title available?)
| 2000-10-03 | Paper |
scientific article; zbMATH DE number 1424039 (Why is no real title available?)
| 2000-09-05 | Paper |
scientific article; zbMATH DE number 1405619 (Why is no real title available?)
| 2000-02-23 | Paper |
Combining algebraic rewriting, extensional lambda calculi, and fixpoints
Theoretical Computer Science | 1997-02-27 | Paper |
A confluent reduction for the λ-calculus with surjective pairing and terminal object
Journal of Functional Programming | 1996-10-14 | Paper |
Simulating expansions without expansions
Mathematical Structures in Computer Science | 1996-02-18 | Paper |
Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object
Information and Computation | 1995-08-02 | Paper |
scientific article; zbMATH DE number 733666 (Why is no real title available?)
| 1995-03-13 | Paper |
scientific article; zbMATH DE number 176742 (Why is no real title available?)
| 1993-05-18 | Paper |
Provable isomorphisms of types
Mathematical Structures in Computer Science | 1993-01-16 | Paper |
scientific article; zbMATH DE number 65742 (Why is no real title available?)
| 1992-09-27 | Paper |
