Concepedia

Mario Coppo

MC

17

Publications

1K

Citations

14

H-Index

1983

Active since

Affiliations

University of Turin(Current)

University of Florence

Imperial College London

Mario Coppo is an author at University of Turin specializing in engineering, computer science, and automated reasoning.

Top concepts

EngineeringComputer ScienceAutomated ReasoningFormal MethodsArtsCommunicationProgram AnalysisSoftware AnalysisParallel ComputingFormal Verification

Publications per year

1983–2015

17

Publications

17

A filter lambda model and the completeness of type assignment

Henk Barendregt, Mario Coppo, Mariangiola Dezani-Ciancaglini · Journal of Symbolic Logic · 1983 · 494 citations

Completeness Result, Engineering, Generic Programming +11

Global progress for dynamically interleaved multiparty sessions

Mario Coppo, Mariangiola Dezani-Ciancaglini, Nobuko Yoshida et al. · Mathematical Structures in Computer Science · 2014 · 124 citations · Full text

Cluster Computing, Engineering, Concurrent System +19

Type inference with recursive types: Syntax and semantics

Felice Cardone, Mario Coppo · Information and Computation · 1991 · 59 citations

Syntax, Engineering, Automated Reasoning +6

Two extensions of Curry's type inference system

Felice Cardone, Mario Coppo · 1990 · 56 citations

Engineering, Automated Reasoning, Type Theory +5

M3

Mario Coppo, Mariangiola Dezani-Ciancaglini, Elio Giovannetti et al. · Electronic Notes in Theoretical Computer Science · 2003 · 35 citations · Full text

Rows per page

1–5 of 17