Furio Honsell - researchr alias

researchr

You are not signed in
Sign in
Sign up

2009

Conway Games, CoalgebraicallyFurio Honsell, Marina Lenisa. calco 2009: 300-316 [doi]

On the completeness of order-theoretic models of the lambda-calculusFurio Honsell, Gordon D. Plotkin. iandc, 207(5):583-594, 2009. [doi]

2008

RPO, Second-Order Contexts, and lambda-CalculusPietro Di Gianantonio, Furio Honsell, Marina Lenisa. fossacs 2008: 334-349 [doi]

Finitely Branching Labelled Transition Systems from Reaction Semantics for Process CalculiPietro Di Gianantonio, Furio Honsell, Marina Lenisa. WADT 2009: 119-134 [doi]

A type assignment system for game semanticsPietro Di Gianantonio, Furio Honsell, Marina Lenisa. TCS, 398(1-3):150-169, 2008. [doi]

A Conditional Logical FrameworkFurio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto. lpar 2008: 143-157 [doi]

Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected PapersMarino Miculan, Ivan Scagnetto, Furio Honsell, editors, Volume 4941 of Lecture Notes in Computer Science, Springer, 2008.

2007

Coalgebraic description of generalised binary methodsFurio Honsell, Marina Lenisa, Rekha Redamalla. mscs, 17(4):647-673, 2007. [doi]

A Framework for Defining Logical FrameworksFurio Honsell, Marina Lenisa, Luigi Liquori. ENTCS, 172:399-436, 2007. [doi]

2006

Consistency of the theory of contextsAnna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann. JFP, 16(3):327-372, 2006. [doi]

Some Properties and Some Problems on Set FunctorsDaniela Cancila, Furio Honsell, Marina Lenisa. ENTCS, 164(1):67-84, 2006. [doi]

Functors Determined by Values on ObjectsDaniela Cancila, Furio Honsell, Marina Lenisa. ENTCS, 158:151-169, 2006. [doi]

EditorialFurio Honsell, Carolyn L. Talcott. lisp, 19(2-3):167-168, 2006. [doi]

Coalgebraic Description of Generalized Binary MethodsFurio Honsell, Marina Lenisa, Rekha Redamalla. ENTCS, 135(3):73-84, 2006. [doi]

A Language for Verification and Manipulation of Web Documents: (Extended Abstract)Luigi Liquori, Furio Honsell, Rekha Redamalla. ENTCS, 157(2):67-78, 2006. [doi]

2005

Compositional characterisations of ::::lambda::::-terms using intersection typesMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama. TCS, 340(3):459-495, 2005. [doi]

A Language for Verification and Manipulation of Web DocumentsLuigi Liquori, Furio Honsell, Rekha Redamalla. wwv 2005: 127-137

Translating specifications from nominal logic to CIC with the theory of contextsMarino Miculan, Ivan Scagnetto, Furio Honsell. ICFP 2005: 41-49 [doi]

2004

Modeling Fresh Names in the ?-calculus Using AbstractionsRoberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan. ENTCS, 106:25-41, 2004. [doi]

Properties of Set FunctorsDaniela Cancila, Furio Honsell, Marina Lenisa. ENTCS, 104:61-80, 2004. [doi]

PrefaceFurio Honsell, Marina Lenisa, Marino Miculan. ENTCS, 104:1-3, 2004. [doi]

Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-LanguageFurio Honsell, Marina Lenisa, Rekha Redamalla. ENTCS, 104:163-180, 2004. [doi]

2003

2002

Prelogical RelationsFurio Honsell, Donald Sannella. iandc, 178(1):23-43, 2002. [doi]

2001

Filter Models and Easy TermsFabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell. ictcs 2001: 17-37 [doi]

Comparing Higher-Order Encodings in Logical Frameworks and Tile LogicRoberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan. ENTCS, 62, 2001. [doi]

Approximation Theorems for Intersection Type SystemsMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama. logcom, 11(3):395-417, 2001. [doi]

pi-calculus in (Co)inductive-type theoryFurio Honsell, Marino Miculan, Ivan Scagnetto. TCS, 253(2):239-285, 2001. [doi]

The Theory of Contexts for First Order and Higher Order Abstract SyntaxFurio Honsell, Marino Miculan, Ivan Scagnetto. ENTCS, 62, 2001. [doi]

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, ProceedingsFurio Honsell, Marino Miculan, editors, Volume 2030 of Lecture Notes in Computer Science, Springer, 2001.

An Axiomatic Approach to Metareasoning on Nominal Algebras in HOASFurio Honsell, Marino Miculan, Ivan Scagnetto. icalp 2001: 963-978 [doi]

2000

1999

Game Semantics for Untyped ::::lambda beta eta::::-CalculusPietro Di Gianantonio, Gianluca Franco, Furio Honsell. tlca 1999: 114-128 [doi]

Coinductive characterizations of applicative structuresFurio Honsell, Marina Lenisa. mscs, 9(4):403-435, 1999.

Pre-logical RelationsFurio Honsell, Donald Sannella. csl 1999: 546-561

Semantical Analysis of Perpetual Strategies in lambda-CalculusFurio Honsell, Marina Lenisa. TCS, 212(1-2):183-209, 1999. [doi]

1998

1997

Partializing Stone Spaces using SFP Domains (Extended Abstract)Fabio Alessi, Paolo Baldan, Furio Honsell. tapsoft 1997: 478-489

An Axiomatization of Partial n-Place OperationsMarco Forti, Furio Honsell, Marina Lenisa. mscs, 7(3):283-302, 1997.

1996

Choice Principles in HyperuniversesMarco Forti, Furio Honsell. APAL, 77(1):35-52, 1996.

A General Construction of HyperuniversesMichael Forti, Furio Honsell. TCS, 156(1&2):203-215, 1996. [doi]

1995

Uncountable Limits and the lambda CalculusPietro Di Gianantonio, Furio Honsell, Gordon D. Plotkin. njc, 2(2):126-145, 1995.

A Variable Typed Logic of EffectsFurio Honsell, Ian A. Mason, Scott F. Smith, Carolyn L. Talcott. iandc, 119(1):55-90, May 1995.

Final Semantics for untyped lambda-calculusFurio Honsell, Marina Lenisa. tlca 1995: 249-265

A Natural Deduction Approach to Dynamic LogicFurio Honsell, Marino Miculan. TYPES 1996: 165-182 [doi]

1994

A lambda Calculus of Objects and Method SpecializationKathleen Fisher, Furio Honsell, John C. Mitchell. njc, 1(1):3-37, 1994.

Processes and HyperuniversesMichael Forti, Furio Honsell, Marina Lenisa. mfcs 1994: 352-363

Countable Non-Determinism and Uncountable LimitsPietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin. concur 1994: 130-145

1993

1992

1991

The lazy call-by-value Lamda-CalculusLavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca. mfcs 1991: 161-169

1988

A Natural Deduction treatment of Operational SemanticsRod M. Burstall, Furio Honsell. fsttcs 1988: 250-269

1987

A Framework for Defining LogicsRobert Harper, Furio Honsell, Gordon D. Plotkin. lics 1987: 194-204

1985

The Consistency of the Axiom of Universality for the Ordering of CardinalitiesMarco Forti, Furio Honsell. JSYML, 50(2):502-509, 1985.