Furio Honsell
Associate Professor
DEPARTMENT of MATHEMATICAL, INFORMATICS AND PHYSICAL SCIENCE
University of Udine
Italy
Biography
Dr. Furio Honsell is currently working as a Associate Professor in the Department of DEPARTMENT of MATHEMATICAL, INFORMATICS AND PHYSICAL SCIENCES , University of Udine , Italy. His research interests includes MATHEMATICAL, INFORMATICS AND PHYSICAL SCIENCES . He /she is serving as an editorial member and reviewer of several international reputed journals. Dr. Furio Honsell is the member of many international affiliations. He/ She has successfully completed his Administrative responsibilities. He /she has authored of many research articles/books related to MATHEMATICAL, INFORMATICS AND PHYSICAL SCIENCES .
Research Interest
MATHEMATICAL, INFORMATICS AND PHYSICAL SCIENCES
Publications
-
Mitchell JC, Honsell F, Fisher K. A lambda calculus of objects and method specialization. InLogic in Computer Science, 1993. LICS'93., Proceedings of Eighth Annual IEEE Symposium on 1993 Jun 19 (pp. 26-38). IEEE.
-
Forti M, Honsell F. Set theory with free construction principles. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze. 1983;10(3):493-522.
-
Harper R, Honsell F, Plotkin G. A framework for defining logics. Journal of the ACM (JACM). 1993 Jan 2;40(1):143-84.
