Furio Honsell

Publication Activity (10 Years)

Years Active: 1984-2024
Publications (10 Years): 20

Top Venues

CoRR

FSCD

Fundam. Informaticae

HaPoC

Publications

Furio Honsell, Marina Lenisa, Ivan Scagnetto
Principal Types as Partial Involutions. CoRR (2024)
Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
On Quantitative Algebraic Higher-Order Theories. FSCD (2022)
Ugo Dal Lago, Furio Honsell, Marina Lenisa, Paolo Pistone
On Quantitative Algebraic Higher-Order Theories. CoRR (2022)
Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
A protoype-based approach to object evolution. J. Object Technol. 20 (2) (2021)
Furio Honsell, Marina Lenisa, Ivan Scagnetto
Λ-Symsym: An Interactive Tool for Playing with Involutions and Types. TYPES (2020)
Leopoldina Fortunati, Anna Maria Manganelli, Filippo Cavallo, Furio Honsell
You need to show that you are not a robot. New Media Soc. 21 (8) (2019)
Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
A Definitional Implementation of the Lax Logical Framework LLFP in Coq, for Supporting Fast and Loose Reasoning. LFMTP@LICS (2019)
Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
lambda!-calculus, Intersection Types, and Involutions. FSCD (2019)
Fabio Alessi, Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Marina Lenisa, Ivan Scagnetto
LF+ in Coq for "fast and loose" reasoning. J. Formaliz. Reason. 12 (1) (2019)
Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
The Delta-framework. CoRR (2018)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
Plugging-in proof development environments using Locks in LF. Math. Struct. Comput. Sci. 28 (9) (2018)
Leopoldina Fortunati, Mauro Sarrica, Giovanni Ferrin, Sonia Brondi, Furio Honsell
Social robots as cultural objects: The sixth dimension of dynamicity? Inf. Soc. 34 (3) (2018)
Alberto Ciaffaglione, Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
A prototype-based approach to object reclassification. CoRR (2018)
Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
The involutions-as-principal types/application-as-unification Analogy. LPAR (2018)
Furio Honsell, Luigi Liquori, Claude Stolze, Ivan Scagnetto
The Delta-Framework. FSTTCS (2018)
Alberto Ciaffaglione, Furio Honsell, Marina Lenisa, Ivan Scagnetto
Linear lambda-calculus and Reversible Automatic Combinators. CoRR (2018)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. CoRR (2017)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
: a logical framework for modeling external evidence, side conditions, and proof irrelevance using monads. Log. Methods Comput. Sci. 13 (3) (2017)
Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
Implementing Cantor's Paradise. APLAS (2016)
Furio Honsell, Marina Lenisa, Ivan Scagnetto, Luigi Liquori, Petar Maksimovic
An open logical framework. J. Log. Comput. 26 (1) (2016)
Furio Honsell, Luigi Liquori, Petar Maksimovic, Ivan Scagnetto
Gluing together Proof Environments: Canonical extensions of LF Type Theories featuring Locks. LFMTP (2015)
Furio Honsell
Wherefore Art Thou... Semantics of Computation? HaPoC (2015)
Furio Honsell, Luigi Liquori, Ivan Scagnetto
L ax F: Side Conditions and External Evidence as Monads. MFCS (1) (2014)
Furio Honsell, Marina Lenisa, Daniel Pellarini
Categories of Coalgebraic Games with Selective Sum. Fundam. Informaticae 134 (3-4) (2014)
Furio Honsell
25 years of formal proof cultures: some problems, some philosophy, bright future. LFMTP (2013)
Furio Honsell, Marina Lenisa
Unfixing the Fixpoint: The Theories of the λY-Calculus. Computation, Logic, Games, and Quantum Foundations (2013)
Furio Honsell, Marina Lenisa, Rekha Redamalla
Equivalences and Congruences on Infinite Conway Games. RAIRO Theor. Informatics Appl. 46 (2) (2012)
Furio Honsell, Marina Lenisa, Rekha Redamalla
Categories of Coalgebraic Games. MFCS (2012)
Furio Honsell, Marina Lenisa
Conway games, algebraically and coalgebraically Log. Methods Comput. Sci. 7 (3) (2011)
Furio Honsell, Gordon D. Plotkin
On the completeness of order-theoretic models of the lambda-calculus. Inf. Comput. 207 (5) (2009)
Furio Honsell, Marina Lenisa
Conway Games, Coalgebraically. CALCO (2009)
Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
RPO, Second-order Contexts, and Lambda-calculus Log. Methods Comput. Sci. 5 (3) (2009)
Furio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto
A Conditional Logical Framework. LPAR (2008)
Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
RPO, Second-Order Contexts, and lambda-Calculus. FoSSaCS (2008)
Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi. WADT (2008)
Pietro Di Gianantonio, Furio Honsell, Marina Lenisa
A type assignment system for game semantics. Theor. Comput. Sci. 398 (1-3) (2008)
Furio Honsell, Marina Lenisa, Rekha Redamalla
Coalgebraic description of generalised binary methods. Math. Struct. Comput. Sci. 17 (4) (2007)
Furio Honsell, Marina Lenisa, Luigi Liquori
A Framework for Defining Logical Frameworks. Electron. Notes Theor. Comput. Sci. 172 (2007)
Daniela Cancila, Furio Honsell, Marina Lenisa
Functors Determined by Values on Objects. MFPS (2006)
Anna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann
Consistency of the theory of contexts. J. Funct. Program. 16 (3) (2006)
Daniela Cancila, Furio Honsell, Marina Lenisa
Some Properties and Some Problems on Set Functors. CMCS (2006)
Furio Honsell, Carolyn L. Talcott
Editorial. High. Order Symb. Comput. 19 (2-3) (2006)
Luigi Liquori, Furio Honsell, Rekha Redamalla
A Language for Verification and Manipulation of Web Documents: (Extended Abstract). Electron. Notes Theor. Comput. Sci. 157 (2) (2006)
Furio Honsell, Marina Lenisa, Rekha Redamalla
Coalgebraic Description of Generalized Binary Methods. Electron. Notes Theor. Comput. Sci. 135 (3) (2006)
Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
-terms using intersection types. Theor. Comput. Sci. 340 (3) (2005)
Luigi Liquori, Furio Honsell, Rekha Redamalla
A Language for Verification and Manipulation of Web Documents. WWV (2005)
Marino Miculan, Ivan Scagnetto, Furio Honsell
Translating specifications from nominal logic to CIC with the theory of contexts. MERLIN (2005)
Furio Honsell, Marina Lenisa, Marino Miculan
Preface. Electron. Notes Theor. Comput. Sci. 104 (2004)
Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
Modeling Fresh Names in the ?-calculus Using Abstractions. CMCS (2004)
Daniela Cancila, Furio Honsell, Marina Lenisa
Properties of Set Functors. Electron. Notes Theor. Comput. Sci. 104 (2004)
Furio Honsell, Marina Lenisa, Rekha Redamalla
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language. Electron. Notes Theor. Comput. Sci. 104 (2004)
Furio Honsell, Marina Lenisa
"Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models. TYPES (2003)
Daniela Cancila, Furio Honsell
A Coalgebraic Description of Web Interactions. ICTCS (2003)
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
A complete characterization of complete intersection-type preorders. ACM Trans. Comput. Log. 4 (1) (2003)
Fabio Alessi, Paolo Baldan, Furio Honsell
A category of compositional domain-models for separable Stone spaces. Theor. Comput. Sci. 290 (1) (2003)
Furio Honsell, Ivan Scagnetto
Mobility Types in Coq. TYPES (2003)
Furio Honsell, Marina Lenisa, Rekha Redamalla
Strict Geometry of Interaction Graph Models. LPAR (2003)
Daniela Cancila, Furio Honsell, Marina Lenisa
Generalized Coiteration Schemata. CMCS (2003)
Furio Honsell, Donald Sannella
Prelogical Relations. Inf. Comput. 178 (1) (2002)
Roberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. Electron. Notes Theor. Comput. Sci. 62 (2001)
Furio Honsell, Marino Miculan, Ivan Scagnetto
pi-calculus in (Co)inductive-type theory. Theor. Comput. Sci. 253 (2) (2001)
Fabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell
Filter Models and Easy Terms. ICTCS (2001)
Furio Honsell, Marino Miculan, Ivan Scagnetto
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. ICALP (2001)
Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
Approximation Theorems for Intersection Type Systems. J. Log. Comput. 11 (3) (2001)
Furio Honsell, Marino Miculan, Ivan Scagnetto
The Theory of Contexts for First Order and Higher Order Abstract Syntax. Electron. Notes Theor. Comput. Sci. 62 (2001)
Furio Honsell, John Longley, Donald Sannella, Andrzej Tarlecki
Constructive Data Refinement in Typed Lambda Calculus. FoSSaCS (2000)
Furio Honsell, Marina Lenisa
Coalgebraic Coinduction in (Hyper)set-theoretic Categories. CMCS (2000)
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
A Complete Characterization of the Complete Intersection-Type Theories. ICALP Satellite Workshops (2000)
Mariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi
A Complete Characterization of Complete Intersection-Type Theories CoRR (2000)
Mariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama
Compositional Characterizations of lambda-Terms Using Intersection Types. MFCS (2000)
Furio Honsell, Marina Lenisa
Coinductive characterizations of applicative structures. Math. Struct. Comput. Sci. 9 (4) (1999)
Furio Honsell, Donald Sannella
Pre-logical Relations. CSL (1999)
Furio Honsell, Marina Lenisa
Semantical Analysis of Perpetual Strategies in lambda-Calculus. Theor. Comput. Sci. 212 (1-2) (1999)
Pietro Di Gianantonio, Gianluca Franco, Furio Honsell
-Calculus. TLCA (1999)
Marco Forti, Furio Honsell
Addendum and Corrigendum: Choice Principles in Hyperuniverses. Ann. Pure Appl. Log. 92 (2) (1998)
Furio Honsell, Marina Lenisa, Ugo Montanari, Marco Pistore
Final semantics for the pi-calculus. PROCOMET (1998)
Pietro Di Gianantonio, Furio Honsell, Luigi Liquori
A Lambda Calculus of Objects with Self-Inflicted Extension. OOPSLA (1998)
Furio Honsell, Alberto Pravato, Simona Ronchi Della Rocca
Structured Operational Semantics of a Fragment of the Language Scheme. J. Funct. Program. 8 (4) (1998)
Arnon Avron, Furio Honsell, Marino Miculan, Cristian Paravano
Encoding Modal Logics in Logical Frameworks. Stud Logica 60 (1) (1998)
Fabio Alessi, Paolo Baldan, Furio Honsell
Partializing Stone Spaces using SFP Domains (Extended Abstract). TAPSOFT (1997)
Marco Forti, Furio Honsell, Marina Lenisa
An Axiomatization of Partial n-Place Operations. Math. Struct. Comput. Sci. 7 (3) (1997)
Michael Forti, Furio Honsell
A General Construction of Hyperuniverses. Theor. Comput. Sci. 156 (1&2) (1996)
Marco Forti, Furio Honsell
Choice Principles in Hyperuniverses. Ann. Pure Appl. Log. 77 (1) (1996)
Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
A Variable Typed Logic of Effects Inf. Comput. 119 (1) (1995)
Furio Honsell, Marina Lenisa
Final Semantics for untyped lambda-calculus. TLCA (1995)
Pietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin
Uncountable Limits and the lambda Calculus. Nord. J. Comput. 2 (2) (1995)
Furio Honsell, Marino Miculan
A Natural Deduction Approach to Dynamic Logic. TYPES (1995)
Kathleen Fisher, Furio Honsell, John C. Mitchell
A lambda Calculus of Objects and Method Specialization. Nord. J. Comput. 1 (1) (1994)
Pietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin
Countable Non-Determinism and Uncountable Limits. CONCUR (1994)
Michael Forti, Furio Honsell, Marina Lenisa
Processes and Hyperuniverses. MFCS (1994)
Pietro Di Gianantonio, Furio Honsell
An Abstract Notion of Application. TLCA (1993)
Paola Giannini, Furio Honsell, Simona Ronchi Della Rocca
Type Inference: Some Results, Some Problems. Fundam. Informaticae 19 (1/2) (1993)
Robert Harper, Furio Honsell, Gordon D. Plotkin
A Framework for Defining Logics. J. ACM 40 (1) (1993)
Furio Honsell, Marina Lenisa
Some Results on the Full Abstraction Problem for Restricted Lambda Calculi. MFCS (1993)
John C. Mitchell, Furio Honsell, Kathleen Fisher
A lambda calculus of objects and method specialization LICS (1993)
Furio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott
A Theory of Classes for a Functional Language with Effects. CSL (1992)
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
Operational, denotational and logical descriptions: a case study. Fundam. Informaticae 16 (1) (1992)
Arnon Avron, Furio Honsell, Ian A. Mason, Robert Pollack
Using Typed Lambda Calculus to Implement Formal Systems on a Machine. J. Autom. Reason. 9 (3) (1992)
Furio Honsell, Simona Ronchi Della Rocca
An Approximation Theorem for Topological Lambda Models and the Topological Incompleteness of Lambda Calculus. J. Comput. Syst. Sci. 45 (1) (1992)
Lavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca
The lazy call-by-value Lamda-Calculus. MFCS (1991)

Furio Honsell.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Furio Honsell