F. Honsell
发表
M. Dezani-Ciancaglini,
F. Honsell,
Y. Motohama,
2000
.
Furio Honsell,
Robert Harper,
Gordon D. Plotkin,
1993,
JACM.
F. Honsell,
R. Burstall,
1991
.
Ian A. Mason,
Scott F. Smith,
F. Honsell,
1993
.
M. Dezani-Ciancaglini,
F. Honsell,
G. Longo,
1984
.
F. Honsell,
M. Forti,
1983
.
D. Sannella,
F. Honsell,
2002
.
Pietro Di Gianantonio,
F. Honsell,
G. Franco,
1999
.
Luigi Liquori,
Furio Honsell,
Ivan Scagnetto,
2017
.
Luigi Liquori,
Furio Honsell,
Ivan Scagnetto,
2005,
Jews and Muslims in Lower Yemen.
F. Honsell,
D. Cancila,
Marina Lenisa,
2003
.
G. Plotkin,
F. Honsell,
2007
.
D. Sannella,
F. Honsell,
A. Tarlecki,
2017
.
Ugo Dal Lago,
F. Honsell,
Marina Lenisa,
2022,
FSCD.
P. Maksimovic,
F. Honsell,
L. Liquori,
2013
.
F. Honsell,
Marina Lenisa,
2003
.
F. Honsell,
2015
.
Pietro Di Gianantonio,
F. Honsell,
Alberto Ciaffaglione,
2019
.
Pietro Di Gianantonio,
F. Honsell,
2022
.
Furio Honsell,
Simona Ronchi Della Rocca,
Lavinia Egidi,
1991,
MFCS.
Paola Giannini,
Furio Honsell,
Simona Ronchi Della Rocca,
1993,
Fundamenta Informaticae.
Furio Honsell,
Simona Ronchi Della Rocca,
Lavinia Egidi,
1992,
Fundam. Informaticae.
Furio Honsell,
Leopoldina Fortunati,
Giovanni Ferrin,
2018,
Inf. Soc..
Luigi Liquori,
Furio Honsell,
Marina Lenisa,
2008,
LPAR.
Luigi Liquori,
Furio Honsell,
Marina Lenisa,
2007,
Computation, Meaning, and Logic.
Furio Honsell,
Pietro Di Gianantonio,
Gianluca Franco,
1999,
TLCA.
Luigi Liquori,
Furio Honsell,
Ivan Scagnetto,
2018,
Mathematical Structures in Computer Science.
Luigi Liquori,
Furio Honsell,
Ivan Scagnetto,
2015,
LFMTP.
F. Honsell,
Ivan Scagnetto,
Marina Lenisa,
2020,
TYPES.
Alberto Ciaffaglione,
Furio Honsell,
Marina Lenisa,
2020,
J. Formaliz. Reason..
LLF𝒫: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads
pdf
Luigi Liquori,
Furio Honsell,
Ivan Scagnetto,
2017,
Log. Methods Comput. Sci..
Luigi Liquori,
Furio Honsell,
Marina Lenisa,
2016,
APLAS.
Ian A. Mason,
Furio Honsell,
Arnon Avron,
1992,
Journal of Automated Reasoning.
Ian A. Mason,
Furio Honsell,
Arnon Avron,
1989
.
Furio Honsell,
F. Honsell,
FrameworkArnon Avron,
1989
.
Furio Honsell,
Marina Lenisa,
Pietro Di Gianantonio,
2009,
WADT.
Luigi Liquori,
Furio Honsell,
Ivan Scagnetto,
2018,
FSTTCS.
Furio Honsell,
Marina Lenisa,
Pietro Di Gianantonio,
2008,
Theor. Comput. Sci..
Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Fabio Alessi,
2003,
TOCL.
F. Honsell,
A. Angelis,
B. Sidharth,
2006
.
Furio Honsell,
Filippo Cavallo,
Leopoldina Fortunati,
2019,
New Media Soc..
Furio Honsell,
Donald Sannella,
D. Sannella,
2002,
Inf. Comput..
Furio Honsell,
Donald Sannella,
D. Sannella,
1999,
CSL.
Luigi Liquori,
Furio Honsell,
Rekha Redamalla,
2006,
WWV.
A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning
pdf
Alberto Ciaffaglione,
Furio Honsell,
Marina Lenisa,
2019,
LFMTP@LICS.
F. Honsell,
Furió,
Honselly,
1987
.
Furio Honsell,
F. Honsell,
2013,
LFMTP '13.
Furio Honsell,
Ivan Scagnetto,
F. Honsell,
2003,
TYPES.
Furio Honsell,
Marino Miculan,
Ivan Scagnetto,
2001,
Theor. Comput. Sci..
Furio Honsell,
Marino Miculan,
F. Honsell,
1995,
TYPES.
Furio Honsell,
Marina Lenisa,
Luigi Liquori,
2006
.
Furio Honsell,
Arnon Avron,
Marino Miculan,
1998,
Stud Logica.
Furio Honsell,
Marina Lenisa,
Pietro Di Gianantonio,
2008,
Log. Methods Comput. Sci..
Furio Honsell,
Marina Lenisa,
Pietro Di Gianantonio,
2008
.
Carolyn L. Talcott,
Ian A. Mason,
Furio Honsell,
1992,
CSL.
Roberto Bruni,
Furio Honsell,
Marino Miculan,
2002,
TOSCA.
Furio Honsell,
Marino Miculan,
Ivan Scagnetto,
2002,
TOSCA.
Furio Honsell,
Marina Lenisa,
Daniela Cancila,
2006,
CMCS.
Furio Honsell,
Marina Lenisa,
Daniela Cancila,
2004,
COMETA.
M. Dezani-Ciancaglini,
F. Honsell,
Fabio Alessi,
2000,
ArXiv.
Furio Honsell,
Pietro Di Gianantonio,
F. Honsell,
1993,
TLCA.
M. Dezani-Ciancaglini,
F. Honsell,
2000
.
Furio Honsell,
Marina Lenisa,
F. Honsell,
2013,
Computation, Logic, Games, and Quantum Foundations.
Furio Honsell,
F. Honsell,
2015,
HaPoC.
Furio Honsell,
Marina Lenisa,
Rekha Redamalla,
2003,
LPAR.
Furio Honsell,
Gordon D. Plotkin,
Pietro Di Gianantonio,
1995,
Nord. J. Comput..
Furio Honsell,
Gordon D. Plotkin,
Pietro Di Gianantonio,
1994,
CONCUR.
Furio Honsell,
Marina Lenisa,
F. Honsell,
1993,
MFCS.
Christine Paulin-Mohring,
Benjamin Werner,
Jean-Christophe Filliatre,
2008,
Lecture Notes in Computer Science.
Furio Honsell,
Marina Lenisa,
Marco Forti,
1997,
Mathematical Structures in Computer Science.
Michael Rathjen,
M. Dezani-Ciancaglini,
F. Honsell,
2014
.