Lambda Calculus: Syntax, Semantics, Applications

Journal papers

  • F. Honsell, M. Lenisa
    •  Semantical Analysis of Perpetual Strategies in lambda-calculus
    to appear in Theoretical Computer Science 213 , 1998. 

    [Abstract] [Compressed-ps]
     
  • Pietro Di Gianantonio, Furio Honsell and Gordon D. Plotkin
    • Uncountable Limits and the Lambda Calculus.
    Nordic Journal of Computing, vol.2, n.2, 1995, p.126-145, 
    [Abstract] [Compressed-ps]

     
  • Lavinia Egidi, Furio Honsell and Simona Ronchi Della Rocca
    • Operational, denotational, and logical descriptions: a case-study.
    Fundamenta informaticae, vol.16, n.2, 1992, p.149-169,

     
  • Furio Honsell and Simona Ronchi Della Rocca
    •            An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus.
    Journal of Computer and System Sciences, vol.45, n.1, 1992, p.49-75,

     

    Conference Proceedings

  • F. Honsell, M. Lenisa
    •  Final Semantics for untyped lambda-calculus, 
    TLCA'95 Conference Proceedings, M. Dezani et al. eds., Springer LNCS, vol.902, 1995, p.249-265.

    [Abstract] [Compressed-ps]

  • F. Honsell, M. Lenisa
    •  Some Results on Restricted lambda-calculi, 
    MFCS'93 Conference Proceedings, A. Borzyszkowski et al. eds., Springer LNCS, vol.711, 1993, p.84-104.

    [Abstract] [Compressed-ps]
     
  • Pietro Di Gianantonio and Furio Honsell
    • An abstract notion of application.
    Typed Lambda Calculus and Applications '93 Conference Proceedings, M.Bezem et al. eds., Springer , LNCS, vol.664, 1993, p.124-138.

    [Abstract] [Compressed-ps]

    Technical Reports

  • F. Honsell, M. Lenisa
    •  Coinductive Characterizations of Applicative Structures, 
    Dipartimento di Matematica e Informatica, Universita` di Udine, September 1998. 

    [Abstract] [Compressed-ps]
     
  • Pietro Di Gianantonio, Gianluca Franco, and Furio Honsell
    • Game semantic for untyped lambda calculus.
    Dipartimento di Matematica e Informatica, Universita` di Udine, September 1998. 

    [Abstract] [Compressed-ps]

    Foundations, especially of Informatics

    Journal Papers

  • M. Forti, F. Honsell, M. Lenisa
    •  An Axiomatization of partial n-place Operations, 
    Mathematical Structures in Computer Science, vol.7, 1997, p.283-302.

    [Abstract] []
     
  • M.Forti and F.Honsell
    • Choice Principles in Hyperuniverses, 
    Annals of Pure and Applied Logic, vol.77, 1996, p.35-52.

     

    Conference Proceedings

  • M. Forti, F. Honsell, M. Lenisa
    •  Operations, Collections and Sets within a General Axiomatic Framework, 
    to appear in 
    Proc. of 10th International Congress of Logic, Methodology and Philosophy of Science, M. Dalla Chiara et al. eds.. 

    [Abstract] [Compressed-ps]

    Type Systems for 00 Languages

    Journal Papers

  • Kathleen Fisher, Furio Honsell, John Mitchell
    • A Lambda Calculus of Objects and Method Specialization,
    Nordic Journal of Computing, vol.1, n.3, 1994 p.3-37 , 

     

    Conference Proceedings

  • Pietro Di Gianantonio, Furio Honsell, and Luigi Liquori
    • A lambda calculus of objects with self-inflicted extension.
    to appear in OOPSLA'98, 1998

    [Abstract] [Compressed-ps]
     

    Logical Frameworks and Formal Verification of Proofs, Programs, and Systems

    Journal Papers

  • Arnon Avron, Furio Honsell, Marino Miculan, and C.Paravano
    • Encoding Modal Logics in Logical Frameworks.

    Studia Logica, 60,(1), 1998.
    [Abstract] [Compressed-ps]

    Conference Proceedings

  • Furio Honsell and Marino Miculan
    • A Natural Deduction Approach to Dynamic Logic 
    Types'95 Conference Proceedings, S.Berardi et al. eds., Springer LNCS, vol.1158, 1996, p.165-182.

    [Abstract] [Compressed-ps]

    Technical Reports

  • Furio Honsell, Marino Miculan, and I.Scagnetto
    • Pi Calculus in (Co)Inductive Type Theories
    Dipartimento di Matematica e Informatica, Universita` di Udine, September 1998. 

    [Abstract] [Compressed-ps]

    Semantics of Programming Languages

    Journal Papers

  • F.Honsell, A.Pravato, S.Ronchi Della Rocca

    •             Structured Operational Semantics of a fragment of the language Scheme
    J. Functional Programming, vol. 8 (4), 1998, to appear.
    [Abstract] [Compressed-ps]

  • F.Honsell, I.Mason, C.Talcott, S.Smith

    •             A Variable Type Logic of Effects
    Information and Computation, Vol. 119, No. 1, 1995, 55-90;
     

    Conference Proceedings

  • F. Honsell, M. Lenisa, U. Montanari, and M. Pistore
    •  Final Semantics for the pi-calculus,

    Programming Concepts and Methods PROCOMET'98, D. Gries et al. eds., Chapman & Hall, 1998. p.225-243
    [Abstract] [ps]

    Mathematical Structures for Semantics

    Journal Papers

  • M.Forti and F.Honsell

    •                A general  construction of hyperuniverses
    Theoretical Computer Science, vol.156, 1996, p. 203-215
     

    Conference Proceedings

  • F.Alessi, P.Baldan, F.Honsell

    •             Partializing Stone Spaces using SFP Domains (extended abstract)
    CAAP '97, M.Bidoit et al  ed., Springer LNCS ,  vol. 1158, Springer , 1997, 478-489;
    [Abstract] [Compressed-ps]

  • M. Forti, F. Honsell, M. Lenisa
    •  Axiomatic Characterizations of Hyperuniverses and Applications, 

    Annals of the New York Academy of Science, Papers on General Topology and Applications, 11th Summer Conference at the University of Southern Maine, vol.80, 1996, p.140-163.
    [Abstract] [Compressed-ps]

  • M.Forti, F. Honsell, M. Lenisa
    • Processes and Hyperuniverses,

    MFCS'94 Conference Proceedings, I. Privara et al. eds., Springer LNCS, vol.841, 1994, p.352-363.
    [Abstract] [Compressed-ps]

    Technical reports

  • F.Alessi, P.Baldan, F.Honsell

    •             Partializing Stone Spaces using SFP Domains (full paper)
    [Abstract] [Compressed-ps]