Roberto Di Cosmo

Available identifiers

zbMath Open di-cosmo.robertoDBLP34/6390WikidataQ3436879 ScholiaQ3436879MaRDI QIDQ476170

List of research outcomes

Publication	Date of Publication	Type
Rewriting with extensional polymorphic \(\lambda \)-calculus	2024-06-21	Paper
On the power of simple diagrams	2022-12-09	Paper
Archiving and Referencing Source Code with Software Heritage	2022-10-13	Paper
Combining first order algebraic rewriting systems, recursion and extensional lambda calculi	2019-04-29	Paper
A confluent reduction for the extensional typed λ-calculus with pairs, sums, recursion and terminal object	2019-03-29	Paper
On modular properties of higher order extensional lambda calculi	2018-07-04	Paper
Automatic Application Deployment in the Cloud: from Practice to Theory and Back	2017-09-12	Paper
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums	2015-11-11	Paper
On isomorphisms of intersection types	2015-09-17	Paper
Aeolus: a component model for the cloud	2014-11-28	Paper
Component Reconfiguration in the Presence of Conflicts	2013-08-07	Paper
On Isomorphisms of Intersection Types	2008-11-20	Paper
A calculus for parallel computations over multidimensional dense arrays	2007-04-16	Paper
Remarks on isomorphisms in typed lambda calculi with empty and sum types	2006-08-16	Paper
A short survey of isomorphisms of types	2006-03-10	Paper
Typed Lambda Calculi and Applications	2005-11-11	Paper
Logic for Programming, Artificial Intelligence, and Reasoning	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q3024832	2005-07-04	Paper
Proof nets and explicit substitutions	2004-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q2767019	2002-07-22	Paper
https://portal.mardi4nfdi.de/entity/Q4508294	2000-10-03	Paper
https://portal.mardi4nfdi.de/entity/Q4945229	2000-09-05	Paper
https://portal.mardi4nfdi.de/entity/Q4938598	2000-02-23	Paper
Combining algebraic rewriting, extensional lambda calculi, and fixpoints	1997-02-27	Paper
A confluent reduction for the λ-calculus with surjective pairing and terminal object	1996-10-14	Paper
Simulating expansions without expansions	1996-02-18	Paper
Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object	1995-08-02	Paper
https://portal.mardi4nfdi.de/entity/Q4325974	1995-03-13	Paper
https://portal.mardi4nfdi.de/entity/Q4036571	1993-05-18	Paper
Provable isomorphisms of types	1993-01-16	Paper
https://portal.mardi4nfdi.de/entity/Q4010353	1992-09-27	Paper

Research outcomes over time

This page was built for person: Roberto Di Cosmo