Marcelo P. Fiore

发表

Marcelo P. Fiore, M. Fiore, 1997, Mathematical Structures in Computer Science.
Chung-Kil Hur, Marcelo P. Fiore, 2007, ICALP.
Sam Staton, Marcelo P. Fiore, S. Staton, 2004, CMCS.
Roberto Di Cosmo, Marcelo P. Fiore, Vincent Balat, 2006, Ann. Pure Appl. Log..
Davide Sangiorgi, Eugenio Moggi, Marcelo P. Fiore, 1996, Inf. Comput..
Marcelo P. Fiore, 1999, CTCS.
Marcelo P. Fiore, Andrew M. Pitts, S. C. Steenkamp, 2021, ArXiv.
Chung-Kil Hur, Marcelo P. Fiore, 2009, Theor. Comput. Sci..
Sam Staton, Marcelo P. Fiore, 2009, Inf. Comput..
Tom Leinster, Marcelo P. Fiore, 2004, J. Symb. Comput..
Glynn Winskel, Marcelo P. Fiore, Gian Luca Cattani, 1997, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Pierre-Louis Curien, Marcelo P. Fiore, Guillaume Munch-Maccagnoni, 2016, POPL.
Gordon D. Plotkin, John Power, Marcelo P. Fiore, 1997, Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science.
Marcelo P. Fiore, 2014, Theor. Comput. Sci..
Marcelo P. Fiore, Ola Mahmoud, Ola Mahmoud, 2014, ArXiv.
Sam Staton, Marcelo P. Fiore, 2006, Inf. Comput..
Glynn Winskel, Luca Cardelli, Marcelo P. Fiore, 2007, Electron. Notes Theor. Comput. Sci..
Roberto Di Cosmo, Marcelo P. Fiore, Vincent Balat, 2002, Proceedings 17th Annual IEEE Symposium on Logic in Computer Science.
Chung-Kil Hur, Marcelo P. Fiore, 2011, Log. Methods Comput. Sci..
Gordon D. Plotkin, Marcelo P. Fiore, G. Plotkin, 1996, CSL.
Chung-Kil Hur, Marcelo P. Fiore, 2009, TLCA.
Marcelo P. Fiore, M. Fiore, 2008, 2008 23rd Annual IEEE Symposium on Logic in Computer Science.
Giuseppe Rosolini, Marcelo P. Fiore, 1997, MFPS.
Gordon D. Plotkin, Marcelo P. Fiore, G. Plotkin, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Marcelo P. Fiore, 1995, Math. Struct. Comput. Sci..
Davide Sangiorgi, Eugenio Moggi, Marcelo P. Fiore, 2022 .
Daniele Turi, Marcelo P. Fiore, D. Turi, 2001, Proceedings 16th Annual IEEE Symposium on Logic in Computer Science.
Glynn Winskel, Marcelo P. Fiore, Gian Luca Cattani, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Makoto Hamana, Marcelo P. Fiore, M. Fiore, 2011, WGP@ICFP.
Martín Abadi, Marcelo P. Fiore, M. Abadi, 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
Marcelo P. Fiore, Ola Mahmoud, Ola Mahmoud, 2010, MFCS.
Martín Abadi, Marcelo P. Fiore, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Sam Staton, Marcelo P. Fiore, S. Staton, 2006, 21st Annual IEEE Symposium on Logic in Computer Science (LICS'06).
Marcelo P. Fiore, Marco Devesas Campos, M. Fiore, 2016, LFCS.
Marcelo P. Fiore, 1995, Category Theory and Computer Science.
Kohei Honda, Marcelo P. Fiore, Kohei Honda, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Marcelo P. Fiore, 2007, MFPS.
Giuseppe Rosolini, Marcelo P. Fiore, 2001, Theor. Comput. Sci..
Marcelo P. Fiore, Marta Bunge, 2000, Math. Struct. Comput. Sci..
Marcelo P. Fiore, M. Fiore, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Makoto Hamana, Marcelo P. Fiore, 2013, 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science.
Marcelo P. Fiore, Gian Luca Cattani, M. Fiore, 2007, Computation, Meaning, and Logic.
Chung-Kil Hur, Marcelo P. Fiore, C. Hur, 2010, CSL.
Sam Staton, Marcelo P. Fiore, 2014, CSL-LICS.
Andrew M. Pitts, Tim Sheard, Marcelo P. Fiore, 2013, TLCA.
Gordon D. Plotkin, Daniele Turi, Marcelo P. Fiore, 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158).
Marcelo P. Fiore, Marco Devesas Campos, M. Fiore, 2013, Computation, Logic, Games, and Quantum Foundations.
Marcelo P. Fiore, Alex K. Simpson, 1999, TLCA.
Andrew M. Pitts, Marcelo P. Fiore, S. C. Steenkamp, 2021, ArXiv.
Glynn Winskel, Marcelo P. Fiore, Gian Luca Cattani, 1999 .
Glynn Winskel, Marcelo P. Fiore, Gian Luca Cattani, 1997 .