Cardone Felice
Department of Computer Science
University of Turin
Italy
Biography
Cardone Felice is working as Associate Professor at the Department of Computer Science, University of Turin, Italy.
Research Interest
Algebra and Number Theory; approximation lemma; Computational Theory and Mathematics; double entry accounting, etc.
Publications
-
Cardone F, Coppo M. Decidability properties of recursive types. InICTCS 2003 Jan 1 (Vol. 2841, pp. 242-255).
-
Cardone F, Hindley JR. Lambda-calculus and combinators in the 20th century. Logic from Russell to Church. 2009 Jan 1;5:723-817.
