Concepedia

Furio Honsell

FH

Statistics

Publications

31

Citations

1.3K

H-Index

18

Active since

1992

Affiliations

University of Udine(Current)

University of Turin

Stanford University

Tel Aviv University

Institut national de recherche en sciences et technologies du numérique

Furio Honsell is an author at University of Udine specializing in computing, computer science, and type systems.

ORCID

Publications per year

1992–2019

31

Publications

31

A framework for defining logics

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

, , +16

A lambda calculus of objects and method specialization

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

, , +16

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

, , +13

π-calculus in (Co)inductive-type theory

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

, , +3

An approximation theorem for topological lambda models and the topological incompleteness of lambda calculus

Furio Honsell, Simonetta Ronchi Della Rocca · Journal of Computer and System Sciences · 1992 · 88 citations

, , +11

1–5 of 31