| 2009 |
|---|
| 73 | EE | Furio Honsell,
Gordon D. Plotkin:
On the completeness of order-theoretic models of the lambda-calculus.
Inf. Comput. 207(5): 583-594 (2009) |
| 2008 |
|---|
| 72 | | Marino Miculan,
Ivan Scagnetto,
Furio Honsell:
Types for Proofs and Programs, International Conference, TYPES 2007, Cividale des Friuli, Italy, May 2-5, 2007, Revised Selected Papers
Springer 2008 |
| 71 | EE | Pietro Di Gianantonio,
Furio Honsell,
Marina Lenisa:
RPO, Second-Order Contexts, and lambda-Calculus.
FoSSaCS 2008: 334-349 |
| 70 | EE | Furio Honsell,
Marina Lenisa,
Luigi Liquori,
Ivan Scagnetto:
A Conditional Logical Framework.
LPAR 2008: 143-157 |
| 69 | EE | Pietro Di Gianantonio,
Furio Honsell,
Marina Lenisa:
A type assignment system for game semantics.
Theor. Comput. Sci. 398(1-3): 150-169 (2008) |
| 2007 |
|---|
| 68 | EE | Furio Honsell,
Marina Lenisa,
Luigi Liquori:
A Framework for Defining Logical Frameworks.
Electr. Notes Theor. Comput. Sci. 172: 399-436 (2007) |
| 67 | EE | Furio Honsell,
Marina Lenisa,
Rekha Redamalla:
Coalgebraic description of generalised binary methods.
Mathematical Structures in Computer Science 17(4): 647-673 (2007) |
| 2006 |
|---|
| 66 | EE | Furio Honsell,
Marina Lenisa,
Rekha Redamalla:
Coalgebraic Description of Generalized Binary Methods.
Electr. Notes Theor. Comput. Sci. 135(3): 73-84 (2006) |
| 65 | EE | Luigi Liquori,
Furio Honsell,
Rekha Redamalla:
A Language for Verification and Manipulation of Web Documents: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 157(2): 67-78 (2006) |
| 64 | EE | Daniela Cancila,
Furio Honsell,
Marina Lenisa:
Functors Determined by Values on Objects.
Electr. Notes Theor. Comput. Sci. 158: 151-169 (2006) |
| 63 | EE | Daniela Cancila,
Furio Honsell,
Marina Lenisa:
Some Properties and Some Problems on Set Functors.
Electr. Notes Theor. Comput. Sci. 164(1): 67-84 (2006) |
| 62 | EE | Furio Honsell,
Carolyn L. Talcott:
Editorial.
Higher-Order and Symbolic Computation 19(2-3): 167-168 (2006) |
| 61 | EE | Anna Bucalo,
Furio Honsell,
Marino Miculan,
Ivan Scagnetto,
Martin Hofmann:
Consistency of the theory of contexts.
J. Funct. Program. 16(3): 327-372 (2006) |
| 2005 |
|---|
| 60 | EE | Marino Miculan,
Ivan Scagnetto,
Furio Honsell:
Translating specifications from nominal logic to CIC with the theory of contexts.
MERLIN 2005: 41-49 |
| 59 | | Luigi Liquori,
Furio Honsell,
Rekha Redamalla:
A Language for Verification and Manipulation of Web Documents.
WWV 2005: 127-137 |
| 58 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Yoko Motohama:
Compositional characterisations of lambda-terms using intersection types.
Theor. Comput. Sci. 340(3): 459-495 (2005) |
| 2004 |
|---|
| 57 | EE | Furio Honsell,
Marina Lenisa,
Marino Miculan:
Preface.
Electr. Notes Theor. Comput. Sci. 104: 1-3 (2004) |
| 56 | EE | Furio Honsell,
Marina Lenisa,
Rekha Redamalla:
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-Language.
Electr. Notes Theor. Comput. Sci. 104: 163-180 (2004) |
| 55 | EE | Daniela Cancila,
Furio Honsell,
Marina Lenisa:
Properties of Set Functors.
Electr. Notes Theor. Comput. Sci. 104: 61-80 (2004) |
| 54 | EE | Roberto Bruni,
Furio Honsell,
Marina Lenisa,
Marino Miculan:
Modeling Fresh Names in the ?-calculus Using Abstractions.
Electr. Notes Theor. Comput. Sci. 106: 25-41 (2004) |
| 2003 |
|---|
| 53 | EE | Daniela Cancila,
Furio Honsell:
A Coalgebraic Description of Web Interactions.
ICTCS 2003: 271-283 |
| 52 | EE | Furio Honsell,
Marina Lenisa,
Rekha Redamalla:
Strict Geometry of Interaction Graph Models.
LPAR 2003: 407-421 |
| 51 | EE | Furio Honsell,
Marina Lenisa:
"Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models.
TYPES 2003: 242-258 |
| 50 | EE | Furio Honsell,
Ivan Scagnetto:
Mobility Types in Coq.
TYPES 2003: 324-337 |
| 49 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Fabio Alessi:
A complete characterization of complete intersection-type preorders.
ACM Trans. Comput. Log. 4(1): 120-147 (2003) |
| 48 | EE | Daniela Cancila,
Furio Honsell,
Marina Lenisa:
Generalized Coiteration Schemata.
Electr. Notes Theor. Comput. Sci. 82(1): (2003) |
| 47 | | Fabio Alessi,
Paolo Baldan,
Furio Honsell:
A category of compositional domain-models for separable Stone spaces.
Theor. Comput. Sci. 290(1): 599-635 (2003) |
| 2002 |
|---|
| 46 | EE | Furio Honsell,
Donald Sannella:
Prelogical Relations.
Inf. Comput. 178(1): 23-43 (2002) |
| 2001 |
|---|
| 45 | | Furio Honsell,
Marino Miculan:
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
Springer 2001 |
| 44 | EE | Furio Honsell,
Marino Miculan,
Ivan Scagnetto:
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.
ICALP 2001: 963-978 |
| 43 | EE | Fabio Alessi,
Mariangiola Dezani-Ciancaglini,
Furio Honsell:
Filter Models and Easy Terms.
ICTCS 2001: 17-37 |
| 42 | EE | Roberto Bruni,
Furio Honsell,
Marina Lenisa,
Marino Miculan:
Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 41 | EE | Furio Honsell,
Marino Miculan,
Ivan Scagnetto:
The Theory of Contexts for First Order and Higher Order Abstract Syntax.
Electr. Notes Theor. Comput. Sci. 62: (2001) |
| 40 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Yoko Motohama:
Approximation Theorems for Intersection Type Systems.
J. Log. Comput. 11(3): 395-417 (2001) |
| 39 | EE | Furio Honsell,
Marino Miculan,
Ivan Scagnetto:
pi-calculus in (Co)inductive-type theory.
Theor. Comput. Sci. 253(2): 239-285 (2001) |
| 2000 |
|---|
| 38 | EE | Furio Honsell,
John Longley,
Donald Sannella,
Andrzej Tarlecki:
Constructive Data Refinement in Typed Lambda Calculus.
FoSSaCS 2000: 161-176 |
| 37 | | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Fabio Alessi:
A Complete Characterization of the Complete Intersection-Type Theories.
ICALP Satellite Workshops 2000: 287-302 |
| 36 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Yoko Motohama:
Compositional Characterizations of lambda-Terms Using Intersection Types.
MFCS 2000: 304-313 |
| 35 | EE | Mariangiola Dezani-Ciancaglini,
Furio Honsell,
Fabio Alessi:
A Complete Characterization of Complete Intersection-Type Theories
CoRR cs.LO/0011039: (2000) |
| 34 | EE | Furio Honsell,
Marina Lenisa:
Coalgebraic Coinduction in (Hyper)set-theoretic Categories.
Electr. Notes Theor. Comput. Sci. 33: (2000) |
| 1999 |
|---|
| 33 | | Furio Honsell,
Donald Sannella:
Pre-logical Relations.
CSL 1999: 546-561 |
| 32 | EE | Pietro Di Gianantonio,
Gianluca Franco,
Furio Honsell:
Game Semantics for Untyped lambda beta eta-Calculus.
TLCA 1999: 114-128 |
| 31 | | Furio Honsell,
Marina Lenisa:
Coinductive characterizations of applicative structures.
Mathematical Structures in Computer Science 9(4): 403-435 (1999) |
| 30 | EE | Furio Honsell,
Marina Lenisa:
Semantical Analysis of Perpetual Strategies in lambda-Calculus.
Theor. Comput. Sci. 212(1-2): 183-209 (1999) |
| 1998 |
|---|
| 29 | EE | Pietro Di Gianantonio,
Furio Honsell,
Luigi Liquori:
A Lambda Calculus of Objects with Self-Inflicted Extension.
OOPSLA 1998: 166-178 |
| 28 | | Furio Honsell,
Marina Lenisa,
Ugo Montanari,
Marco Pistore:
Final semantics for the pi-calculus.
PROCOMET 1998: 225-243 |
| 27 | | Marco Forti,
Furio Honsell:
Addendum and Corrigendum: Choice Principles in Hyperuniverses.
Ann. Pure Appl. Logic 92(2): 211-214 (1998) |
| 26 | | Furio Honsell,
Alberto Pravato,
Simona Ronchi Della Rocca:
Structured Operational Semantics of a Fragment of the Language Scheme.
J. Funct. Program. 8(4): 335-365 (1998) |
| 25 | | Arnon Avron,
Furio Honsell,
Marino Miculan,
Cristian Paravano:
Encoding Modal Logics in Logical Frameworks.
Studia Logica 60(1): 161-208 (1998) |
| 1997 |
|---|
| 24 | | Fabio Alessi,
Paolo Baldan,
Furio Honsell:
Partializing Stone Spaces using SFP Domains (Extended Abstract).
TAPSOFT 1997: 478-489 |
| 23 | | Marco Forti,
Furio Honsell,
Marina Lenisa:
An Axiomatization of Partial n-Place Operations.
Mathematical Structures in Computer Science 7(3): 283-302 (1997) |
| 1996 |
|---|
| 22 | | Marco Forti,
Furio Honsell:
Choice Principles in Hyperuniverses.
Ann. Pure Appl. Logic 77(1): 35-52 (1996) |
| 21 | EE | Michael Forti,
Furio Honsell:
A General Construction of Hyperuniverses.
Theor. Comput. Sci. 156(1&2): 203-215 (1996) |
| 1995 |
|---|
| 20 | | Furio Honsell,
Marina Lenisa:
Final Semantics for untyped lambda-calculus.
TLCA 1995: 249-265 |
| 19 | EE | Furio Honsell,
Marino Miculan:
A Natural Deduction Approach to Dynamic Logic.
TYPES 1995: 165-182 |
| 18 | | Furio Honsell,
Ian A. Mason,
Scott F. Smith,
Carolyn L. Talcott:
A Variable Typed Logic of Effects
Inf. Comput. 119(1): 55-90 (1995) |
| 17 | | Pietro Di Gianantonio,
Furio Honsell,
Gordon D. Plotkin:
Uncountable Limits and the lambda Calculus.
Nord. J. Comput. 2(2): 126-145 (1995) |
| 1994 |
|---|
| 16 | | Pietro Di Gianantonio,
Furio Honsell,
Silvia Liani,
Gordon D. Plotkin:
Countable Non-Determinism and Uncountable Limits.
CONCUR 1994: 130-145 |
| 15 | | Michael Forti,
Furio Honsell,
Marina Lenisa:
Processes and Hyperuniverses.
MFCS 1994: 352-363 |
| 14 | | Kathleen Fisher,
Furio Honsell,
John C. Mitchell:
A lambda Calculus of Objects and Method Specialization.
Nord. J. Comput. 1(1): 3-37 (1994) |
| 1993 |
|---|
| 13 | | John C. Mitchell,
Furio Honsell,
Kathleen Fisher:
A lambda calculus of objects and method specialization
LICS 1993: 26-38 |
| 12 | | Furio Honsell,
Marina Lenisa:
Some Results on the Full Abstraction Problem for Restricted Lambda Calculi.
MFCS 1993: 84-104 |
| 11 | | Pietro Di Gianantonio,
Furio Honsell:
An Abstract Notion of Application.
TLCA 1993: 124-138 |
| 10 | | Paola Giannini,
Furio Honsell,
Simona Ronchi Della Rocca:
Type Inference: Some Results, Some Problems.
Fundam. Inform. 19(1/2): 87-125 (1993) |
| 9 | EE | Robert Harper,
Furio Honsell,
Gordon D. Plotkin:
A Framework for Defining Logics.
J. ACM 40(1): 143-184 (1993) |
| 1992 |
|---|
| 8 | | Furio Honsell,
Ian A. Mason,
Scott F. Smith,
Carolyn L. Talcott:
A Theory of Classes for a Functional Language with Effects.
CSL 1992: 309-326 |
| 7 | | Lavinia Egidi,
Furio Honsell,
Simona Ronchi Della Rocca:
Operational, denotational and logical descriptions: a case study.
Fundam. Inform. 16(1): 149-169 (1992) |
| 6 | | Arnon Avron,
Furio Honsell,
Ian A. Mason,
Robert Pollack:
Using Typed Lambda Calculus to Implement Formal Systems on a Machine.
J. Autom. Reasoning 9(3): 309-354 (1992) |
| 5 | | 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): 49-75 (1992) |
| 1991 |
|---|
| 4 | | Lavinia Egidi,
Furio Honsell,
Simona Ronchi Della Rocca:
The lazy call-by-value Lamda-Calculus.
MFCS 1991: 161-169 |
| 1988 |
|---|
| 3 | | Rod M. Burstall,
Furio Honsell:
A Natural Deduction treatment of Operational Semantics.
FSTTCS 1988: 250-269 |
| 1987 |
|---|
| 2 | | Robert Harper,
Furio Honsell,
Gordon D. Plotkin:
A Framework for Defining Logics
LICS 1987: 194-204 |
| 1985 |
|---|
| 1 | | Marco Forti,
Furio Honsell:
The Consistency of the Axiom of Universality for the Ordering of Cardinalities.
J. Symb. Log. 50(2): 502-509 (1985) |
