The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Furio Honsell: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

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

  66. Conway Games, Coalgebraically. [Citation Graph (, )][DBLP]


  67. RPO, Second-Order Contexts, and lambda-Calculus. [Citation Graph (, )][DBLP]


  68. Translating specifications from nominal logic to CIC with the theory of contexts. [Citation Graph (, )][DBLP]


  69. A Conditional Logical Framework. [Citation Graph (, )][DBLP]


  70. Finitely Branching Labelled Transition Systems from Reaction Semantics for Process Calculi. [Citation Graph (, )][DBLP]


  71. RPO, Second-order Contexts, and Lambda-calculus [Citation Graph (, )][DBLP]


Search in 0.020secs, Finished in 0.023secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002