Concepedia

Furio Honsell

FH

Statistics

Publications

31

Citations

2.2K

H-Index

18

Active since

1992

Affiliations

University of Udine(Current)

University of Turin

Stanford University

Tel Aviv University

University of Edinburgh

Furio Honsell is an author at University of Udine specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsAutomated ReasoningComputer ScienceSemanticsLanguageFormal VerificationMathematical FoundationsLinguisticsFormal Semantics

Publications per year

1992–2019

31

Publications

31

A Framework for Defining Logics

Furio Honsell · Institutional Research Information System (University of Udine) · 1993 · 968 citations

A framework for defining logics

Robert Harper, Furio Honsell, Gordon Plotkin · Journal of the ACM · 1993 · 195 citations · Full text

Edinburgh Logical Framework, Engineering, Type Theory +17

A lambda calculus of objects and method specialization

Kathleen Fisher, Furio Honsell, John C. Mitchell · 1994 · 135 citations

Using typed lambda calculus to implement formal systems on a machine

Arnon Avron, Furio Honsell, Ian A. Mason et al. · Journal of Automated Reasoning · 1992 · 105 citations

Formal Systems, Engineering, Automated Reasoning +9

π-calculus in (Co)inductive-type theory

Furio Honsell, Marino Miculan, Ivan Scagnetto · Theoretical Computer Science · 2001 · 98 citations · Full text

Theoretical Mathematics, Inductive-type Theory, Type Theory +1

Rows per page

1–5 of 31