E. Moggi

发表

T. Sheard, Zine-El-Abidine Benaissa, Walid Taha, 1998 .
John C. Mitchell, Eugenio Moggi, E. Moggi, 1991, Ann. Pure Appl. Log..
E. Moggi, ResultCristiano Cal agno, 2000 .
E. Moggi, C. Jay, 2022 .
Giuseppe Longo, Eugenio Moggi, G. Longo, 1984, Semantics of Data Types.
G. Longo, E. Moggi, 1991, Mathematical Structures in Computer Science.
Eugenio Moggi, E. Moggi, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Walid Taha, Eugenio Moggi, Johan Thunberg, 2020, Acta Cybern..
Eugenio Moggi, E. Moggi, 1991, Inf. Comput..
Sonia Fagorzi, Eugenio Moggi, E. Moggi, 2003, FoSSaCS.
Eugenio Moggi, E. Moggi, 2007, Computation, Meaning, and Logic.
Emilio Tuosto, Rocco De Nicola, Gian Luigi Ferrari, 2003, Global Computing.
Giuseppe Longo, Eugenio Moggi, G. Longo, 1984, Journal of Symbolic Logic.
Giuseppe Longo, Eugenio Moggi, G. Longo, 1990, Theor. Comput. Sci..
John C. Mitchell, Robert Harper, Eugenio Moggi, 1989, POPL '90.
Nick Benton, John Hughes, Eugenio Moggi, 2000, APPSEM.
Andrew M. Pitts, Peter Dybjer, Eugenio Moggi, 1997 .
Amr Sabry, Eugenio Moggi, A. Sabry, 2004, FICS.
Eugenio Moggi, E. Moggi, 1989, Mathematical Structures in Computer Science.
Walid Taha, Amin Farjudian, Eugenio Moggi, 2017, Theor. Comput. Sci..
Amin Farjudian, E. Moggi, 2022, Mathematical Structures in Computer Science.
Walid Taha, Amin Farjudian, Eugenio Moggi, 2019, ICTCS.
Eugenio Moggi, E. Moggi, 1998, FoSSaCS.
Richard Statman, John C. Mitchell, Albert R. Meyer, 1987, POPL '87.
Gian-Luigi Ferrari, Rosario Pugliese, Eugenio Moggi, 2001, SAIG.
Davide Ancona, Eugenio Moggi, D. Ancona, 2004, FMCO.
Bart Jacobs, Thomas Streicher, Eugenio Moggi, 1991, Category Theory and Computer Science.
Eugenio Moggi, E. Moggi, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Davide Sangiorgi, Eugenio Moggi, Marcelo P. Fiore, 2022 .
Eugenio Moggi, E. Moggi, 2000 .
C. Barry Jay, Eugenio Moggi, Gianna Bellè, 1999, CTCS.
Walid Taha, Tim Sheard, Eugenio Moggi, 1999, ESOP.
Eugenio Moggi, Gianna Bellè, Gianna Bellè, 1997, TLCA.
Walid Taha, Cristiano Calcagno, Eugenio Moggi, 2000, ICALP.
Eugenio Moggi, D.Ancona, E. Moggi, 2004 .
Walid Taha, Tim Sheard, Eugenio Moggi, 1999 .
Walid Taha, Tim Sheard, Eugenio Moggi, 1998 .
Eugenio Moggi, E. Moggi, 1997, MFPS.
Walid Taha, Cristiano Calcagno, Eugenio Moggi, 2004, ESOP.