The following pages link to Roberto Di Cosmo (Q476170):
Displaying 30 items.
- Aeolus: a component model for the cloud (Q476172) (← links)
- A calculus for parallel computations over multidimensional dense arrays (Q875953) (← links)
- Combining algebraic rewriting, extensional lambda calculi, and fixpoints (Q1349901) (← links)
- Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object (Q1893735) (← links)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- (Q2767019) (← links)
- On isomorphisms of intersection types (Q2946613) (← links)
- (Q3024832) (← links)
- A short survey of isomorphisms of types (Q3372683) (← links)
- Extensional normalisation and type-directed partial evaluation for typed lambda calculus with sums (Q3452250) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)
- (Q4010353) (← links)
- Provable isomorphisms of types (Q4017461) (← links)
- (Q4036571) (← links)
- Simulating expansions without expansions (Q4322432) (← links)
- (Q4325974) (← links)
- (Q4508294) (← links)
- On modular properties of higher order extensional lambda calculi (Q4571956) (← links)
- A confluent reduction for the extensional typed λ-calculus with pairs, sums, recursion and terminal object (Q4630299) (← links)
- Combining first order algebraic rewriting systems, recursion and extensional lambda calculi (Q4632448) (← links)
- Proof nets and explicit substitutions (Q4814187) (← links)
- A confluent reduction for the λ-calculus with surjective pairing and terminal object (Q4895554) (← links)
- (Q4938598) (← links)
- (Q4945229) (← links)
- Archiving and Referencing Source Code with Software Heritage (Q5041076) (← links)
- On the power of simple diagrams (Q5055861) (← links)
- Component Reconfiguration in the Presence of Conflicts (Q5327433) (← links)
- Automatic Application Deployment in the Cloud: from Practice to Theory and Back (Q5357691) (← links)
- Typed Lambda Calculi and Applications (Q5704008) (← links)
- Logic for Programming, Artificial Intelligence, and Reasoning (Q5705927) (← links)
