Roberto Di Cosmo

From MaRDI portal
Person:476170

Available identifiers

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

List of research outcomes





PublicationDate of PublicationType
Rewriting with extensional polymorphic \(\lambda \)-calculus2024-06-21Paper
On the power of simple diagrams2022-12-09Paper
Archiving and Referencing Source Code with Software Heritage2022-10-13Paper
Combining first order algebraic rewriting systems, recursion and extensional lambda calculi2019-04-29Paper
A confluent reduction for the extensional typed λ-calculus with pairs, sums, recursion and terminal object2019-03-29Paper
On modular properties of higher order extensional lambda calculi2018-07-04Paper
Automatic Application Deployment in the Cloud: from Practice to Theory and Back2017-09-12Paper
Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums2015-11-11Paper
On isomorphisms of intersection types2015-09-17Paper
Aeolus: a component model for the cloud2014-11-28Paper
Component Reconfiguration in the Presence of Conflicts2013-08-07Paper
On Isomorphisms of Intersection Types2008-11-20Paper
A calculus for parallel computations over multidimensional dense arrays2007-04-16Paper
Remarks on isomorphisms in typed lambda calculi with empty and sum types2006-08-16Paper
A short survey of isomorphisms of types2006-03-10Paper
Typed Lambda Calculi and Applications2005-11-11Paper
Logic for Programming, Artificial Intelligence, and Reasoning2005-11-10Paper
https://portal.mardi4nfdi.de/entity/Q30248322005-07-04Paper
Proof nets and explicit substitutions2004-09-07Paper
https://portal.mardi4nfdi.de/entity/Q27670192002-07-22Paper
https://portal.mardi4nfdi.de/entity/Q45082942000-10-03Paper
https://portal.mardi4nfdi.de/entity/Q49452292000-09-05Paper
https://portal.mardi4nfdi.de/entity/Q49385982000-02-23Paper
Combining algebraic rewriting, extensional lambda calculi, and fixpoints1997-02-27Paper
A confluent reduction for the λ-calculus with surjective pairing and terminal object1996-10-14Paper
Simulating expansions without expansions1996-02-18Paper
Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object1995-08-02Paper
https://portal.mardi4nfdi.de/entity/Q43259741995-03-13Paper
https://portal.mardi4nfdi.de/entity/Q40365711993-05-18Paper
Provable isomorphisms of types1993-01-16Paper
https://portal.mardi4nfdi.de/entity/Q40103531992-09-27Paper

Research outcomes over time

This page was built for person: Roberto Di Cosmo