|
СТ |
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 |
|
СТ |
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 |
|
СТ |
Real Number Computability and Domain Theory |
1993 |
Di Gianantonio P. |
|
|
|
Lecture Notes in Computer Science |
20.10.1993 |
