Concepedia

Eugenio Moggi

EM

Statistics

Publications

26

Citations

3.4K

H-Index

19

Active since

1984

Affiliations

University of Genoa(Current)

University of Edinburgh

University of Pisa

Carnegie Mellon University

University of Cambridge

Eugenio Moggi is an author at University of Genoa specializing in computer science, computing, and type systems.

Publications per year

1984–2018

26

Publications

26

Notions of computation and monads

Eugenio Moggi · Information and Computation · 1991 · 1.7K citations

Computing, Computer Science, Mathematics +10

Computational lambda-calculus and monads

Eugenio Moggi · 2003 · 858 citations

Computing, Computer Science, Algebra +13

Higher-order modules and the phase distinction

Robert Harper, John C. Mitchell, Eugenio Moggi · 1990 · 156 citations

Computing, Computer Science, Algorithms +16

A Fully Abstract Model for the π-calculus

Marcelo Fiore, Eugenio Moggi, Davide Sangiorgi · Information and Computation · 2002 · 77 citations · Full text

Computing, Computer Science, Mathematics +9

Constructive natural deduction and its ‘ω-set’ interpretation

G. Longo, Eugenio Moggi · Mathematical Structures in Computer Science · 1991 · 60 citations · Full text

Language Studies, Computer Science, Mathematics +9

1–5 of 26