Вы здесь

Honsell F.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ A Coalgebraic Description of Web Interactions 2003 Cancila D., Honsell F. Lecture Notes in Computer Science 20.11.2003
СТ Constructive Data Refinement in Typed Lambda Calculus 2000 Honsell F., Longley J., Sannella D., Tarlecki A. Lecture Notes in Computer Science 25.04.2000
СТ A Lambda Calculus of Objects with Self-Inflicted Extension 1998 Di Gianantonio P., Honsell F., Liquori L. SIGPLAN Notices 21.04.1999
СТ Game Semantics for Untyped -Calculus 1999 Di Gianantonio P., Franco G., Honsell F. Lecture Notes in Computer Science 21.04.1999
СТ A Natural Deduction Approach to Dynamic Logic 1996 Honsell F., Miculan M. Lecture Notes in Computer Science 23.11.1996
СТ Final Semantics for Untyped -calculus 1995 Honsell F., Lenisa M. Lecture Notes in Computer Science 15.04.1995
СТ Processes and Hyperuniverses 1994 Forti M., Honsell F., Lenisa M. Lecture Notes in Computer Science 29.09.1994
СТ Countable Non-Determinism and Uncountable Limits 1994 Di Gianantonio P., Honsell F., Liani S., Plotkin G. D. Lecture Notes in Computer Science 26.08.1994
СТ A Theory of Classes for a Functional Language with Effects 1993 Honsell F., Mason I. A., Smith S., Talcott C. Lecture Notes in Computer Science 06.11.1993
СТ Some Results on the Full Abstraction Problem for Restricted Lambda Calculi 1993 Honsell F., Lenisa M. Lecture Notes in Computer Science 20.10.1993
СТ A Framework for Defining Logics 1993 Harper R., Honsell F., Plotkin G. J. of the ACM 04.03.1993
П A Natural Deduction treatment of Operational Semantics 1990 Burstall R., Honsell F. Univ.Edinburgh 13.02.1991