Concepedia

Felice Cardone

FC

4

Publications

183

Citations

4

H-Index

1990

Active since

Affiliations

University of Turin(Current)

Felice Cardone is an author at University of Turin specializing in automated reasoning, formal methods, and engineering.

Top concepts

Automated ReasoningSyntaxSemanticsEngineeringFormal MethodsComputer ScienceDesignGrammarLanguageEducation

Publications per year

1990–2006

4

Publications

4

Type inference with recursive types: Syntax and semantics

Felice Cardone, Mario Coppo · Information and Computation · 1991 · 59 citations

Syntax, Engineering, Automated Reasoning +6

History of Lambda-calculus and Combinatory Logic

Felice Cardone, Roger Hindley · 2006 · 57 citations

Algebraic Logic, Types 23, Syntax +14

Two extensions of Curry's type inference system

Felice Cardone, Mario Coppo · 1990 · 56 citations

Engineering, Automated Reasoning, Type Theory +5

Combining type disciplines

Felice Cardone, Mariangiola Dezani-Ciancaglini, Ugo de’Liguoro · Annals of Pure and Applied Logic · 1994 · 11 citations

Type Theory, Polymorphism (Computer Science), Design +5

Rows per page

1–4 of 4