Furio Honsell

发表

Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama, 2000, MFCS.
Furio Honsell, Gordon D. Plotkin, Pietro Di Gianantonio, 1994, CONCUR.
Furio Honsell, Marina Lenisa, Pietro Di Gianantonio, 2008, FoSSaCS.
Furio Honsell, Marco Forti, 1996, Ann. Pure Appl. Log..
Furio Honsell, Simona Ronchi Della Rocca, 1990, Programming Concepts and Methods.
Carolyn L. Talcott, Furio Honsell, 2006, High. Order Symb. Comput..
Furio Honsell, Marina Lenisa, Marco Forti, 1996 .
Luigi Liquori, Furio Honsell, Marina Lenisa, 2013 .
Rod M. Burstall, Furio Honsell, 1988, FSTTCS.
Furio Honsell, Marina Lenisa, Marco Forti, 1997, Mathematical Structures in Computer Science.
Furio Honsell, Filippo Cavallo, Leopoldina Fortunati, 2019, New Media Soc..
Carolyn L. Talcott, Ian A. Mason, Furio Honsell, 1992, CSL.
Furio Honsell, Simona Ronchi Della Rocca, Lavinia Egidi, 1992, Fundam. Informaticae.
Alberto Ciaffaglione, Luigi Liquori, Furio Honsell, 2018, ArXiv.
Furio Honsell, Marina Lenisa, Michael Forti, 1994, MFCS.
Furio Honsell, Marco Forti, 1985, Math. Log. Q..
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi, 2003, TOCL.
Furio Honsell, Marina Lenisa, 2000, CMCS.
Furio Honsell, Arnon Avron, Marino Miculan, 1998, Stud Logica.
Furio Honsell, Marina Lenisa, Daniela Cancila, 2004, COMETA.
Furio Honsell, Marina Lenisa, Pietro Di Gianantonio, 2008, Theor. Comput. Sci..
Ian A. Mason, Furio Honsell, Arnon Avron, 1989 .
Furio Honsell, Marina Lenisa, 1995, TLCA.
Paolo Baldan, Furio Honsell, Fabio Alessi, 1997 .
Luigi Liquori, Furio Honsell, Ivan Scagnetto, 2018, Mathematical Structures in Computer Science.
Furio Honsell, Marina Lenisa, Rekha Redamalla, 2003, LPAR.
Furio Honsell, Robert Harper, Gordon D. Plotkin, 1993, JACM.
Furio Honsell, Marina Lenisa, Daniel Pellarini, 2014, Fundam. Informaticae.
Furio Honsell, F. Honsell, 2015, HaPoC.
Furio Honsell, Donald Sannella, Andrzej Tarlecki, 2000, FoSSaCS.
Furio Honsell, Marina Lenisa, 1999, Theor. Comput. Sci..
Furio Honsell, Marina Lenisa, Rekha Redamalla, 2012, MFCS.
Luigi Liquori, Furio Honsell, Marina Lenisa, 2007, Computation, Meaning, and Logic.
Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, 2018, ArXiv.
Furio Honsell, Marino Miculan, Ivan Scagnetto, 2002, TOSCA.
Furio Honsell, Marina Lenisa, Rekha Redamalla, 2007, Math. Struct. Comput. Sci..
Luigi Liquori, Furio Honsell, Ivan Scagnetto, 2018, FSTTCS.
Furio Honsell, Marino Miculan, Ivan Scagnetto, 2001, Theor. Comput. Sci..
Furio Honsell, Simona Ronchi Della Rocca, Alberto Pravato, 1998, J. Funct. Program..
Furio Honsell, Simona Ronchi Della Rocca, Lavinia Egidi, 1991, MFCS.
Furio Honsell, Marino Miculan, Marina Lenisa, 2004, Electron. Notes Theor. Comput. Sci..
Luigi Liquori, Furio Honsell, Marina Lenisa, 2008, LPAR.
Furio Honsell, Marina Lenisa, Daniela Cancila, 2006, MFPS.
Luigi Liquori, Furio Honsell, Rekha Redamalla, 2006, WWV.
Furio Honsell, Michael Forti, 1996, Theor. Comput. Sci..
Carolyn L. Talcott, Ian A. Mason, Furio Honsell, 1995, Inf. Comput..
Furio Honsell, Marina Lenisa, Daniela Cancila, 2006, CMCS.
Luigi Liquori, Furio Honsell, Marina Lenisa, 2016, APLAS.
Furio Honsell, Ivan Scagnetto, F. Honsell, 2003, TYPES.
Furio Honsell, Marino Miculan, Ivan Scagnetto, 2001, ICALP.
Furio Honsell, Marco Forti, 1998, Ann. Pure Appl. Log..
Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, 2019, FSCD.
Glynn Winskel, Thomas Ehrhard, Abbas Edalat, 2009, Math. Struct. Comput. Sci..
Furio Honsell, Marina Lenisa, Rekha Redamalla, 2012, RAIRO Theor. Informatics Appl..
Furio Honsell, Marino Miculan, 2001, Lecture Notes in Computer Science.
Martin Hofmann, Furio Honsell, Marino Miculan, 2006, J. Funct. Program..
Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama, 2001, J. Log. Comput..
Furio Honsell, Marina Lenisa, Pietro Di Gianantonio, 2008, Log. Methods Comput. Sci..
Furio Honsell, Marina Lenisa, Pietro Di Gianantonio, 2009, WADT.
Furio Honsell, Marina Lenisa, 2011, Log. Methods Comput. Sci..
Furio Honsell, Pietro Di Gianantonio, Gianluca Franco, 1999, TLCA.
John C. Mitchell, Furio Honsell, Kathleen Fisher, 1993, [1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science.
Furio Honsell, Daniela Cancila, 2003, ICTCS.
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi, 2001, ICTCS.
Ian A. Mason, Furio Honsell, Arnon Avron, 1992, Journal of Automated Reasoning.
Furio Honsell, Donald Sannella, 1999 .
Roberto Bruni, Furio Honsell, Marino Miculan, 2004, CMCS.
Furio Honsell, Marino Miculan, Ivan Scagnetto, 2005, MERLIN '05.
Luigi Liquori, Furio Honsell, Marina Lenisa, 2016, J. Log. Comput..
Furio Honsell, Marina Lenisa, Luigi Liquori, 2006 .
Furio Honsell, Pietro Di Gianantonio, F. Honsell, 1993, TLCA.
Furio Honsell, Marino Miculan, F. Honsell, 1995, TYPES.
Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama, 2005, Theor. Comput. Sci..
Furio Honsell, Donald Sannella, D. Sannella, 2002, Inf. Comput..
Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, 2020, J. Formaliz. Reason..
Furio Honsell, Marina Lenisa, Rekha Redamalla, 2006, Electron. Notes Theor. Comput. Sci..
Luigi Liquori, Furio Honsell, Ivan Scagnetto, 2014, MFCS.
Marco Pistore, Ugo Montanari, Furio Honsell, 1998, PROCOMET.
Paolo Baldan, Furio Honsell, Fabio Alessi, 1997, TAPSOFT.
Furio Honsell, Gordon D. Plotkin, 2009, Inf. Comput..
Furio Honsell, Marina Lenisa, F. Honsell, 2013, Computation, Logic, Games, and Quantum Foundations.
Furio Honsell, Leopoldina Fortunati, Giovanni Ferrin, 2018, Inf. Soc..
Furio Honsell, Marina Lenisa, 1999, Math. Struct. Comput. Sci..
Roberto Bruni, Furio Honsell, Marino Miculan, 2002, TOSCA.
Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca, 1993, Fundamenta Informaticae.
Paolo Baldan, Furio Honsell, Fabio Alessi, 2003, Theor. Comput. Sci..
Furio Honsell, Marina Lenisa, Daniela Cancila, 2003, CMCS.
Furio Honsell, Marina Lenisa, F. Honsell, 1993, MFCS.
Furio Honsell, Marina Lenisa, Marco Forti, 1999 .
Furio Honsell, Donald Sannella, D. Sannella, 1999, CSL.
Furio Honsell, Marina Lenisa, 2009, CALCO.
Luigi Liquori, Furio Honsell, Pietro Di Gianantonio, 1998, OOPSLA '98.
Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, 2018, LPAR.
Furio Honsell, Marco Forti, 1984, Math. Log. Q..
Furio Honsell, Gordon D. Plotkin, Pietro Di Gianantonio, 1995, Nord. J. Comput..
Furio Honsell, Marina Lenisa, Rekha Redamalla, 2004, Electron. Notes Theor. Comput. Sci..
Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, 2018 .
Alberto Ciaffaglione, Luigi Liquori, Furio Honsell, 2021, J. Object Technol..
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi, 2004 .
Furio Honsell, F. Honsell, FrameworkArnon Avron, 1989 .
Furio Honsell, Marina Lenisa, Pietro Di Gianantonio, 2008 .
Furio Honsell, Marco Forti, 1989 .
Luigi Liquori, Furio Honsell, Marina Lenisa, 2012, LFMTP '12.
Luigi Liquori, Furio Honsell, Ivan Scagnetto, 2017 .
Furio Honsell, Marina Lenisa, Rekha Redamalla, 2003 .
Luigi Liquori, Furio Honsell, Ivan Scagnetto, 2005, Jews and Muslims in Lower Yemen.