Furio Honsell - RankMe

114 papers A* 3A 1B 21Journal 50Unranked 37

Year	Rank	Type	Title / Venue / Authors
2026	B	`conf`	Lambda Galore. FoSSaCS Mariangiola Dezani-Ciancaglini, Besik Dundua, Furio Honsell
2026	J	`jnl`	Sensible Intersection Type Theories. CoRR Mariangiola Dezani-Ciancaglini, Besik Dundua, Paola Giannini, Furio Honsell
2025	J	`jnl`	Principal types as partial involutions. Math. Struct. Comput. Sci. Furio Honsell, Marina Lenisa, Ivan Scagnetto
2025	B	`conf`	Unsolvable Terms in Filter Models (Invited Talk). FSCD Mariangiola Dezani-Ciancaglini, Paola Giannini, Furio Honsell
2024	J	`jnl`	Principal Types as Partial Involutions. CoRR Furio Honsell, Marina Lenisa, Ivan Scagnetto
2024	—	`conf`	Two Views on Unification: Terms as Strategies. FSTTCS Furio Honsell, Marina Lenisa, Ivan Scagnetto
2022	B	`conf`	On Quantitative Algebraic Higher-Order Theories. FSCD Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
2022	J	`jnl`	On Quantitative Algebraic Higher-Order Theories. CoRR Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
2021	J	`jnl`	A protoype-based approach to object evolution. J. Object Technol. Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
2020	—	`conf`	Λ-Symsym: An Interactive Tool for Playing with Involutions and Types. TYPES Furio Honsell, Marina Lenisa, Ivan Scagnetto
2019	—	`conf`	A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning. LFMTP@LICS Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
2019	J	`jnl`	LF+ in Coq for "fast and loose" reasoning. J. Formaliz. Reason. Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
2019	J	`jnl`	You need to show that you are not a robot. New Media Soc. Leopoldina Fortunati, Anna Maria Manganelli, Filippo Cavallo, Furio Honsell
2019	B	`conf`	lambda!-calculus, Intersection Types, and Involutions. FSCD Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
2018	J	`jnl`	A prototype-based approach to object reclassification. CoRR Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
2018	J	`jnl`	Linear lambda-calculus and Reversible Automatic Combinators. CoRR Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
2018	J	`jnl`	Plugging-in proof development environments using Locks in LF. Math. Struct. Comput. Sci. Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2018	J	`jnl`	Social robots as cultural objects: The sixth dimension of dynamicity? Inf. Soc. Leopoldina Fortunati, Mauro Sarrica, Giovanni Ferrin, Sonia Brondi, Furio Honsell
2018	—	`conf`	The Delta-Framework. FSTTCS Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
2018	J	`jnl`	The Delta-framework. CoRR Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
2018	B	`conf`	The involutions-as-principal types/application-as-unification Analogy. LPAR Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
2017	J	`jnl`	LLF CoRR Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2017	J	`jnl`	LLF Log. Methods Comput. Sci. Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2016	J	`jnl`	An open logical framework. J. Log. Comput. Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic
2016	B	`conf`	Implementing Cantor's Paradise. APLAS Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
2015	—	`conf`	Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. LFMTP Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
2015	—	`conf`	Wherefore Art Thou... Semantics of Computation? HaPoC Furio Honsell
2014	J	`jnl`	Categories of Coalgebraic Games with Selective Sum. Fundam. Informaticae Furio Honsell, Marina Lenisa, Daniel Pellarini
2014	—	`conf`	L ax F: Side Conditions and External Evidence as Monads. MFCS (1) Furio Honsell, Luigi Liquori, Ivan Scagnetto
2013	—	`conf`	25 years of formal proof cultures: some problems, some philosophy, bright future. LFMTP Furio Honsell
2013	—	`conf`	Unfixing the Fixpoint: The Theories of the λY-Calculus. Computation, Logic, Games, and Quantum Foundations Furio Honsell, Marina Lenisa
2012	B	`conf`	Categories of Coalgebraic Games. MFCS Furio Honsell, Marina Lenisa, Rekha Redamalla
2012	J	`jnl`	Equivalences and Congruences on Infinite Conway Games. RAIRO Theor. Informatics Appl. Furio Honsell, Marina Lenisa, Rekha Redamalla
2011	J	`jnl`	Conway games, algebraically and coalgebraically Log. Methods Comput. Sci. Furio Honsell, Marina Lenisa
2009	B	`conf`	Conway Games, Coalgebraically. CALCO Furio Honsell, Marina Lenisa
2009	J	`jnl`	On the completeness of order-theoretic models of the lambda-calculus. Inf. Comput. Furio Honsell, Gordon D. Plotkin
2009	J	`jnl`	RPO, Second-order Contexts, and Lambda-calculus Log. Methods Comput. Sci. Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
2008	B	`conf`	A Conditional Logical Framework. LPAR Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
2008	J	`jnl`	A type assignment system for game semantics. Theor. Comput. Sci. Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
2008	—	`conf`	Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi. WADT Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
2008	B	`conf`	RPO, Second-Order Contexts, and lambda-Calculus. FoSSaCS Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
2008	—	`ed.`	Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, Revised Selected Papers TYPES Marino Miculan, Ivan Scagnetto, Furio Honsell
2007	—	`conf`	A Framework for Defining Logical Frameworks. Computation, Meaning, and Logic Furio Honsell, Marina Lenisa, Luigi Liquori
2007	J	`jnl`	Coalgebraic description of generalised binary methods. Math. Struct. Comput. Sci. Furio Honsell, Marina Lenisa, Rekha Redamalla
2006	J	`jnl`	Consistency of the theory of contexts. J. Funct. Program. Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann
2006	J	`jnl`	Editorial. High. Order Symb. Comput. Furio Honsell, Carolyn L. Talcott
2006	B	`conf`	Functors Determined by Values on Objects. MFPS Daniela Cancila, Furio Honsell, Marina Lenisa
2006	—	`conf`	Some Properties and Some Problems on Set Functors. CMCS Daniela Cancila, Furio Honsell, Marina Lenisa
2005	—	`conf`	A Language for Verification and Manipulation of Web Documents. WWV Luigi Liquori, Furio Honsell, Rekha Redamalla
2005	—	`conf`	A Language for Verification and Manipulation of Web Documents: (Extended Abstract). WWV Luigi Liquori, Furio Honsell, Rekha Redamalla
2005	—	`conf`	Coalgebraic Description of Generalized Binary Methods. DCM@ICALP Furio Honsell, Marina Lenisa, Rekha Redamalla
2005	J	`jnl`	Compositional characterisations of Theor. Comput. Sci. Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
2005	—	`conf`	Translating specifications from nominal logic to CIC with the theory of contexts. MERLIN Marino Miculan, Ivan Scagnetto, Furio Honsell
2004	—	`conf`	Modeling Fresh Names in the π-calculus Using Abstractions. CMCS Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
2004	—	`ed.`	Proceedings of the Workshop of the COMETA Project on Computational Metamodels, COMETA 2003, Udine, Italy, December 15-17, 2003 COMETA Furio Honsell, Marina Lenisa, Marino Miculan
2003	—	`conf`	"Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models. TYPES Furio Honsell, Marina Lenisa
2003	—	`conf`	A Coalgebraic Description of Web Interactions. ICTCS Daniela Cancila, Furio Honsell
2003	J	`jnl`	A category of compositional domain-models for separable Stone spaces. Theor. Comput. Sci. Fabio Alessi, Paolo Baldan, Furio Honsell
2003	J	`jnl`	A complete characterization of complete intersection-type preorders. ACM Trans. Comput. Log. Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
2003	—	`conf`	Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language. COMETA Furio Honsell, Marina Lenisa, Rekha Redamalla
2003	—	`conf`	Generalized Coiteration Schemata. CMCS Daniela Cancila, Furio Honsell, Marina Lenisa
2003	—	`conf`	Mobility Types in Coq. TYPES Furio Honsell, Ivan Scagnetto
2003	—	`conf`	Preface. COMETA Furio Honsell, Marina Lenisa, Marino Miculan
2003	—	`conf`	Properties of Set Functors. COMETA Daniela Cancila, Furio Honsell, Marina Lenisa
2003	B	`conf`	Strict Geometry of Interaction Graph Models. LPAR Furio Honsell, Marina Lenisa, Rekha Redamalla
2002	J	`jnl`	Prelogical Relations. Inf. Comput. Furio Honsell, Donald Sannella
2001	A*	`conf`	An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. ICALP Furio Honsell, Marino Miculan, Ivan Scagnetto
2001	J	`jnl`	Approximation Theorems for Intersection Type Systems. J. Log. Comput. Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
2001	—	`conf`	Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. TOSCA Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
2001	—	`conf`	Filter Models and Easy Terms. ICTCS Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell
2001	B	`ed.`	Foundations of Software Science and Computation Structures, 4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings FoSSaCS Furio Honsell, Marino Miculan
2001	—	`conf`	The Theory of Contexts for First Order and Higher Order Abstract Syntax. TOSCA Furio Honsell, Marino Miculan, Ivan Scagnetto
2001	J	`jnl`	pi-calculus in (Co)inductive-type theory. Theor. Comput. Sci. Furio Honsell, Marino Miculan, Ivan Scagnetto
2000	J	`jnl`	A Complete Characterization of Complete Intersection-Type Theories CoRR Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
2000	—	`conf`	A Complete Characterization of the Complete Intersection-Type Theories. ICALP Satellite Workshops Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
2000	—	`conf`	Coalgebraic Coinduction in (Hyper)set-theoretic Categories. CMCS Furio Honsell, Marina Lenisa
2000	B	`conf`	Compositional Characterizations of lambda-Terms Using Intersection Types. MFCS Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
2000	B	`conf`	Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki
1999	J	`jnl`	Coinductive characterizations of applicative structures. Math. Struct. Comput. Sci. Furio Honsell, Marina Lenisa
1999	—	`conf`	Game Semantics for Untyped TLCA Pietro Di Gianantonio, Gianluca Franco, Furio Honsell
1999	B	`conf`	Pre-logical Relations. CSL Furio Honsell, Donald Sannella
1999	J	`jnl`	Semantical Analysis of Perpetual Strategies in lambda-Calculus. Theor. Comput. Sci. Furio Honsell, Marina Lenisa
1998	A	`conf`	A Lambda Calculus of Objects with Self-Inflicted Extension. OOPSLA Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
1998	J	`jnl`	Addendum and Corrigendum: Choice Principles in Hyperuniverses. Ann. Pure Appl. Log. Marco Forti, Furio Honsell
1998	J	`jnl`	Encoding Modal Logics in Logical Frameworks. Stud Logica Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano
1998	—	`conf`	Final semantics for the pi-calculus. PROCOMET Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore
1998	J	`jnl`	Structured Operational Semantics of a Fragment of the Language Scheme. J. Funct. Program. Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca
1997	J	`jnl`	An Axiomatization of Partial n-Place Operations. Math. Struct. Comput. Sci. Marco Forti, Furio Honsell, Marina Lenisa
1997	—	`conf`	Partializing Stone Spaces using SFP Domains (Extended Abstract). TAPSOFT Fabio Alessi, Paolo Baldan, Furio Honsell
1996	J	`jnl`	A General Construction of Hyperuniverses. Theor. Comput. Sci. Michael Forti, Furio Honsell
1996	J	`jnl`	Choice Principles in Hyperuniverses. Ann. Pure Appl. Log. Marco Forti, Furio Honsell
1995	—	`conf`	A Natural Deduction Approach to Dynamic Logic. TYPES Furio Honsell, Marino Miculan
1995	J	`jnl`	A Variable Typed Logic of Effects Inf. Comput. Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1995	—	`conf`	Final Semantics for untyped lambda-calculus. TLCA Furio Honsell, Marina Lenisa
1995	J	`jnl`	Uncountable Limits and the lambda Calculus. Nord. J. Comput. Pietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin
1994	J	`jnl`	A lambda Calculus of Objects and Method Specialization. Nord. J. Comput. Kathleen Fisher, Furio Honsell, John C. Mitchell
1994	B	`conf`	Countable Non-Determinism and Uncountable Limits. CONCUR Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin
1994	B	`conf`	Processes and Hyperuniverses. MFCS Michael Forti, Furio Honsell, Marina Lenisa
1993	J	`jnl`	A Framework for Defining Logics. J. ACM Robert Harper, Furio Honsell, Gordon D. Plotkin
1993	A*	`conf`	A lambda calculus of objects and method specialization LICS John C. Mitchell, Furio Honsell, Kathleen Fisher
1993	—	`conf`	An Abstract Notion of Application. TLCA Pietro Di Gianantonio, Furio Honsell
1993	B	`conf`	Some Results on the Full Abstraction Problem for Restricted Lambda Calculi. MFCS Furio Honsell, Marina Lenisa
1993	J	`jnl`	Type Inference: Some Results, Some Problems. Fundam. Informaticae Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca
1992	B	`conf`	A Theory of Classes for a Functional Language with Effects. CSL Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
1992	J	`jnl`	An Approximation Theorem for Topological Lambda Models and the Topological Incompleteness of Lambda Calculus. J. Comput. Syst. Sci. Furio Honsell, Simona Ronchi Della Rocca
1992	J	`jnl`	Operational, denotational and logical descriptions: a case study. Fundam. Informaticae Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
1992	J	`jnl`	Using Typed Lambda Calculus to Implement Formal Systems on a Machine. J. Autom. Reason. Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
1991	B	`conf`	The lazy call-by-value Lamda-Calculus. MFCS Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
1990	—	`conf`	Reasoning About Interpretations in Qualitative λ-Models. Programming Concepts and Methods Furio Honsell, Simona Ronchi Della Rocca
1988	—	`conf`	A Natural Deduction treatment of Operational Semantics. FSTTCS Rod M. Burstall, Furio Honsell
1987	A*	`conf`	A Framework for Defining Logics LICS Robert Harper, Furio Honsell, Gordon D. Plotkin
1985	J	`jnl`	A Model where Cardinal Ordering is Universal. Math. Log. Q. Marco Forti, Furio Honsell
1985	J	`jnl`	The Consistency of the Axiom of Universality for the Ordering of Cardinalities. J. Symb. Log. Marco Forti, Furio Honsell
1984	J	`jnl`	Comparison of the Axioms of Local and Global Universality. Math. Log. Q. Marco Forti, Furio Honsell