Eugenio Moggi

发表

Walid Taha, Cristiano Calcagno, Eugenio Moggi, 2004, ESOP.
Eugenio Moggi, Gianna Bellè, Gianna Bellè, 1997, TLCA.
Eugenio Moggi, E. Moggi, 1989, Mathematical Structures in Computer Science.
Andrew M. Pitts, Peter Dybjer, Eugenio Moggi, 1997 .
Walid Taha, Tim Sheard, Eugenio Moggi, 1999 .
Giuseppe Longo, Eugenio Moggi, G. Longo, 1984, Semantics of Data Types.
Marcia Kilchenman O'Malley, Fei Xu, Robert Cartwright, 2015, IoT 360.
Eugenio Moggi, 1991, Math. Struct. Comput. Sci..
Gian Luigi Ferrari, Rosario Pugliese, Eugenio Moggi, 2001, Electron. Notes Theor. Comput. Sci..
Eugenio Moggi, Barry Jay, 1999 .
Davide Sangiorgi, Eugenio Moggi, Marcelo P. Fiore, 1996, Inf. Comput..
Michael Mendler, Eugenio Moggi, Matt Fairtlough, 2001, Math. Struct. Comput. Sci..
Emilio Tuosto, Rocco De Nicola, Gian Luigi Ferrari, 2003, Global Computing.
Davide Ancona, Sonia Fagorzi, Elena Zucca, 2003, ICALP.
Sonia Fagorzi, Eugenio Moggi, E. Moggi, 2003, FoSSaCS.
Nick Benton, John Hughes, Eugenio Moggi, 2000, APPSEM.
Eugenio Moggi, E. Moggi, 2007, Computation, Meaning, and Logic.
Eugenio Moggi, 2005, Theor. Comput. Sci..
Eugenio Moggi, 2012, RAIRO Theor. Informatics Appl..
Richard Statman, John C. Mitchell, Albert R. Meyer, 1987, POPL '87.
Amr Sabry, Eugenio Moggi, A. Sabry, 2004, FICS.
C. Barry Jay, Eugenio Moggi, Gianna Bellè, 1999, CTCS.
Walid Taha, Amin Farjudian, Eugenio Moggi, 2019, ICTCS.
Amr Sabry, Eugenio Moggi, 2001, J. Funct. Program..
Eugenio Moggi, 1995, Fundam. Informaticae.
Eugenio Moggi, F. Palumbo, 1999, Electron. Notes Theor. Comput. Sci..
Eugenio Moggi, 1991, Category Theory and Computer Science.
John C. Mitchell, Robert Harper, Eugenio Moggi, 1989, POPL '90.
Eugenio Moggi, E. Moggi, 1997, MFPS.
Giuseppe Longo, Eugenio Moggi, G. Longo, 1984, Journal of Symbolic Logic.
Eugenio Moggi, Mauro Jaskelioff, 2010, Theor. Comput. Sci..
Walid Taha, Cristiano Calcagno, Eugenio Moggi, 2000, ICALP.
Glynn Winskel, Thomas Ehrhard, Abbas Edalat, 2009, Math. Struct. Comput. Sci..
Gian Luigi Ferrari, Rosario Pugliese, Eugenio Moggi, 2001, Electron. Notes Theor. Comput. Sci..
Davide Ancona, Eugenio Moggi, D. Ancona, 2004, FMCO.
Davide Sangiorgi, Eugenio Moggi, Marcelo P. Fiore, 2022 .
Gian Luigi Ferrari, Rosario Pugliese, Eugenio Moggi, 2002, Electron. Notes Theor. Comput. Sci..
Walid Taha, Eugenio Moggi, Johan Thunberg, 2020, Acta Cybern..
Martin Hyland, Eugenio Moggi, 1995, Category Theory and Computer Science.
Bart Jacobs, Thomas Streicher, Eugenio Moggi, 1991, Category Theory and Computer Science.
Eugenio Moggi, E. Moggi, 1998, FoSSaCS.
Eugenio Moggi, 2012, Bull. EATCS.
Eugenio Moggi, C. B. Jay, Gianna Bellè, 1998 .
Gian-Luigi Ferrari, Rosario Pugliese, Eugenio Moggi, 2001, SAIG.
Giuseppe Longo, Eugenio Moggi, G. Longo, 1990, Theor. Comput. Sci..
Eugenio Moggi, E. Moggi, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Walid Taha, Eugenio Moggi, Adam Duracz, 2018, Principles of Modeling.
Walid Taha, Tim Sheard, Eugenio Moggi, 1998 .
Tim Sheard, Cristiano Calcagno, Eugenio Moggi, 2003, J. Funct. Program..
Gian Luigi Ferrari, Rosario Pugliese, Eugenio Moggi, 2004, Mathematical Structures in Computer Science.
Walid Taha, Tim Sheard, Eugenio Moggi, 1999, ESOP.
Eugenio Moggi, D.Ancona, E. Moggi, 2004 .
Davide Ancona, Eugenio Moggi, 2004, GPCE.
Walid Taha, Amin Farjudian, Eugenio Moggi, 2017, Theor. Comput. Sci..
Eugenio Moggi, Giuseppe Longo, 1991, Math. Struct. Comput. Sci..
John C. Mitchell, Eugenio Moggi, E. Moggi, 1991, Ann. Pure Appl. Log..
Eugenio Moggi, E. Moggi, 1991, Inf. Comput..
Eugenio Moggi, E. Moggi, 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.
Cristiano Calcagno, Eugenio Moggi, 2000, SAIG.
Gian Luigi Ferrari, Rosario Pugliese, Eugenio Moggi, 2001, SAIG.
Giuseppe Rosolini, Eugenio Moggi, 1997, Lecture Notes in Computer Science.
Eugenio Moggi, E. Moggi, 2000 .