Roberto Di Cosmo

Available identifiers

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

List of research outcomes

Publication	Date of Publication	Type
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

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: Roberto Di Cosmo