BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × Greece
1 × Hungary
1 × Spain
1 × The Netherlands
1 × USA
1 × United Kingdom
2 × Italy
Collaborated with:
P.D.Gianantonio M.Lenisa D.Sannella M.Miculan I.Scagnetto G.Franco L.Liquori R.Harper G.D.Plotkin F.Alessi P.Baldan J.Longley A.Tarlecki I.A.Mason S.F.Smith C.L.Talcott
Talks about:
calculus (5) abstract (2) semant (2) untyp (2) logic (2) metareason (1) framework (1) construct (1) function (1) approach (1)

Person: Furio Honsell

DBLP DBLP: Honsell:Furio

Facilitated 1 volumes:

FoSSaCS 2001Ed

Contributed to:

FoSSaCS 20082008
ICALP 20012001
FoSSaCS 20002000
CSL 19991999
TLCA 19991999
OOPSLA 19981998
TLCA 19951995
TLCA 19931993
CSL 19921992
LICS 19871987

Wrote 11 papers:

FoSSaCS-2008-GianantonioHL #higher-order #λ-calculus
RPO, Second-Order Contexts, and λ-Calculus (PDG, FH, ML), pp. 334–349.
ICALP-2001-HonsellMS #algebra #approach #axiom
An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS (FH, MM, IS), pp. 963–978.
FoSSaCS-2000-HonsellLST #refinement #λ-calculus
Constructive Data Refinement in Typed λ Calculus (FH, JL, DS, AT), pp. 161–176.
Pre-logical Relations (FH, DS), pp. 546–561.
TLCA-1999-GianantonioFH #game studies #semantics #λ-calculus
Game Semantics for Untyped λβη-Calculus (PDG, GF, FH), pp. 114–128.
OOPSLA-1998-GianantonioHL #self #λ-calculus
A λ Calculus of Objects with Self-Inflicted Extension (PDG, FH, LL), pp. 166–178.
TLCA-1995-HonsellL #semantics #λ-calculus
Final Semantics for untyped λ-calculus (FH, ML), pp. 249–265.
An Abstract Notion of Application (PDG, FH), pp. 124–138.
CSL-1992-HonsellMST #formal method #functional
A Theory of Classes for a Functional Language with Effects (FH, IAM, SFS, CLT), pp. 309–326.
LICS-1987-HarperHP #framework #logic
A Framework for Defining Logics (RH, FH, GDP), pp. 194–204.
TAPSOFT-1997-AlessiBH #using
Partializing Stone Spaces using SFP Domains (Extended Abstract) (FA, PB, FH), pp. 478–489.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.