dblp.uni-trier.dewww.uni-trier.de

Furio Honsell Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
75EEFurio Honsell, Marina Lenisa: Conway Games, Coalgebraically. CALCO 2009: 300-316
74EEFurio Honsell, Gordon D. Plotkin: On the completeness of order-theoretic models of the lambda-calculus. Inf. Comput. 207(5): 583-594 (2009)
73EEPietro Di Gianantonio, Furio Honsell, Marina Lenisa: RPO, Second-order Contexts, and Lambda-calculus Logical Methods in Computer Science 5(3): (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
71EEPietro Di Gianantonio, Furio Honsell, Marina Lenisa: RPO, Second-Order Contexts, and lambda-Calculus. FoSSaCS 2008: 334-349
70EEFurio Honsell, Marina Lenisa, Luigi Liquori, Ivan Scagnetto: A Conditional Logical Framework. LPAR 2008: 143-157
69EEPietro Di Gianantonio, Furio Honsell, Marina Lenisa: A type assignment system for game semantics. Theor. Comput. Sci. 398(1-3): 150-169 (2008)
2007
68EEFurio Honsell, Marina Lenisa, Luigi Liquori: A Framework for Defining Logical Frameworks. Electr. Notes Theor. Comput. Sci. 172: 399-436 (2007)
67EEFurio Honsell, Marina Lenisa, Rekha Redamalla: Coalgebraic description of generalised binary methods. Mathematical Structures in Computer Science 17(4): 647-673 (2007)
2006
66EEFurio Honsell, Marina Lenisa, Rekha Redamalla: Coalgebraic Description of Generalized Binary Methods. Electr. Notes Theor. Comput. Sci. 135(3): 73-84 (2006)
65EELuigi 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)
64EEDaniela Cancila, Furio Honsell, Marina Lenisa: Functors Determined by Values on Objects. Electr. Notes Theor. Comput. Sci. 158: 151-169 (2006)
63EEDaniela Cancila, Furio Honsell, Marina Lenisa: Some Properties and Some Problems on Set Functors. Electr. Notes Theor. Comput. Sci. 164(1): 67-84 (2006)
62EEFurio Honsell, Carolyn L. Talcott: Editorial. Higher-Order and Symbolic Computation 19(2-3): 167-168 (2006)
61EEAnna Bucalo, Furio Honsell, Marino Miculan, Ivan Scagnetto, Martin Hofmann: Consistency of the theory of contexts. J. Funct. Program. 16(3): 327-372 (2006)
2005
60EEMarino 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
58EEMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama: Compositional characterisations of lambda-terms using intersection types. Theor. Comput. Sci. 340(3): 459-495 (2005)
2004
57EEFurio Honsell, Marina Lenisa, Marino Miculan: Preface. Electr. Notes Theor. Comput. Sci. 104: 1-3 (2004)
56EEFurio 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)
55EEDaniela Cancila, Furio Honsell, Marina Lenisa: Properties of Set Functors. Electr. Notes Theor. Comput. Sci. 104: 61-80 (2004)
54EERoberto 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
53EEDaniela Cancila, Furio Honsell: A Coalgebraic Description of Web Interactions. ICTCS 2003: 271-283
52EEFurio Honsell, Marina Lenisa, Rekha Redamalla: Strict Geometry of Interaction Graph Models. LPAR 2003: 407-421
51EEFurio Honsell, Marina Lenisa: "Wave-Style" Geometry of Interaction Models in Rel Are Graph-Like Lambda-Models. TYPES 2003: 242-258
50EEFurio Honsell, Ivan Scagnetto: Mobility Types in Coq. TYPES 2003: 324-337
49EEMariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A complete characterization of complete intersection-type preorders. ACM Trans. Comput. Log. 4(1): 120-147 (2003)
48EEDaniela 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
46EEFurio 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
44EEFurio Honsell, Marino Miculan, Ivan Scagnetto: An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS. ICALP 2001: 963-978
43EEFabio Alessi, Mariangiola Dezani-Ciancaglini, Furio Honsell: Filter Models and Easy Terms. ICTCS 2001: 17-37
42EERoberto Bruni, Furio Honsell, Marina Lenisa, Marino Miculan: Comparing Higher-Order Encodings in Logical Frameworks and Tile Logic. Electr. Notes Theor. Comput. Sci. 62: (2001)
41EEFurio Honsell, Marino Miculan, Ivan Scagnetto: The Theory of Contexts for First Order and Higher Order Abstract Syntax. Electr. Notes Theor. Comput. Sci. 62: (2001)
40EEMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama: Approximation Theorems for Intersection Type Systems. J. Log. Comput. 11(3): 395-417 (2001)
39EEFurio Honsell, Marino Miculan, Ivan Scagnetto: pi-calculus in (Co)inductive-type theory. Theor. Comput. Sci. 253(2): 239-285 (2001)
2000
38EEFurio 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
36EEMariangiola Dezani-Ciancaglini, Furio Honsell, Yoko Motohama: Compositional Characterizations of lambda-Terms Using Intersection Types. MFCS 2000: 304-313
35EEMariangiola Dezani-Ciancaglini, Furio Honsell, Fabio Alessi: A Complete Characterization of Complete Intersection-Type Theories CoRR cs.LO/0011039: (2000)
34EEFurio Honsell, Marina Lenisa: Coalgebraic Coinduction in (Hyper)set-theoretic Categories. Electr. Notes Theor. Comput. Sci. 33: (2000)
1999
33EEFurio Honsell, Donald Sannella: Pre-logical Relations. CSL 1999: 546-561
32EEPietro 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)
30EEFurio Honsell, Marina Lenisa: Semantical Analysis of Perpetual Strategies in lambda-Calculus. Theor. Comput. Sci. 212(1-2): 183-209 (1999)
1998
29EEPietro 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
24EEFabio 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)
21EEMichael 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
19EEFurio 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
16EEPietro Di Gianantonio, Furio Honsell, Silvia Liani, Gordon D. Plotkin: Countable Non-Determinism and Uncountable Limits. CONCUR 1994: 130-145
15EEMichael 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
12EEFurio 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)
9EERobert Harper, Furio Honsell, Gordon D. Plotkin: A Framework for Defining Logics. J. ACM 40(1): 143-184 (1993)
1992
8EEFurio 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
4EELavinia Egidi, Furio Honsell, Simona Ronchi Della Rocca: The lazy call-by-value Lamda-Calculus. MFCS 1991: 161-169
1988
3EERod 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)

Coauthor Index

1Fabio Alessi [24] [35] [37] [43] [47] [49]
2Arnon Avron [6] [25]
3Paolo Baldan [24] [47]
4Roberto Bruni [42] [54]
5Anna Bucalo [61]
6Rod M. Burstall [3]
7Daniela Cancila [48] [53] [55] [63] [64]
8Mariangiola Dezani-Ciancaglini [35] [36] [37] [40] [43] [49] [58]
9Lavinia Egidi [4] [7]
10Kathleen Fisher [13] [14]
11Marco Forti [1] [22] [23] [27]
12Michael Forti [15] [21]
13Gianluca Franco [32]
14Pietro Di Gianantonio [11] [16] [17] [29] [32] [69] [71] [73]
15Paola Giannini [10]
16Robert Harper [2] [9]
17Martin Hofmann [61]
18Marina Lenisa [12] [15] [20] [23] [28] [30] [31] [34] [42] [48] [51] [52] [54] [55] [56] [57] [63] [64] [66] [67] [68] [69] [70] [71] [73] [75]
19Silvia Liani [16]
20Luigi Liquori [29] [59] [65] [68] [70]
21John Longley [38]
22Ian A. Mason [6] [8] [18]
23Marino Miculan [19] [25] [39] [41] [42] [44] [45] [54] [57] [60] [61] [72]
24John C. Mitchell [13] [14]
25Ugo Montanari [28]
26Yoko Motohama [36] [40] [58]
27Cristian Paravano [25]
28Marco Pistore [28]
29Gordon D. Plotkin [2] [9] [16] [17] [74]
30Robert Pollack [6]
31Alberto Pravato [26]
32Rekha Redamalla [52] [56] [59] [65] [66] [67]
33Simona Ronchi Della Rocca [4] [5] [7] [10] [26]
34Donald Sannella [33] [38] [46]
35Ivan Scagnetto [39] [41] [44] [50] [60] [61] [70] [72]
36Scott F. Smith [8] [18]
37Carolyn L. Talcott [8] [18] [62]
38Andrzej Tarlecki [38]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)