Massimiliano Coppo

An extension of the basic functionality theory for the $\lambda$-calculus.

Massimiliano Coppo, Mariangiola Dezani-Ciancaglini · Notre Dame Journal of Formal Logic · 1980 · 274 citations · Full text

Engineering, Automated Reasoning, Type Theory +6

Functional Characters of Solvable Terms

Massimiliano Coppo, Mariangiola Dezani-Ciancaglini, Betti Venneri · Mathematical logic quarterly · 1981 · 195 citations

Combinatorics On Word, Generalized Function, Representation Theory +3

Type theories, normal forms, and D∞-lambda-models

Massimiliano Coppo, Mariangiola Dezani-Ciancaglini, Maddalena Zacchi · Information and Computation · 1987 · 82 citations

Type Theory, Model Theory, Finite Model Theory +1

Distributed voltage control strategy for LV networks with inverter-interfaced generators

R. Caldon, Massimiliano Coppo, Roberto Turri · Electric Power Systems Research · 2013 · 81 citations

Electrical Engineering, Engineering, Dc Microgrids +7

Coordinated voltage control of a decoupled three-phase on-load tap changer transformer and photovoltaic inverters for managing unbalanced networks

Junjie Hu, Mattia Marinelli, Massimiliano Coppo et al. · Electric Power Systems Research · 2015 · 65 citations · Full text

Electrical Engineering, Engineering, Dc Microgrids +10