|
СТ |
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 |
