|
П |
Dynamic Typing in a Statically Typed Language |
1989 |
Abadi M., Cardelli L., Pierce B. C., Plotkin G. D. |
|
|
Digital |
|
02.04.2013 |
|
П |
The Category-Theoretic Solution of Recursive Domain Equations |
1982 |
Smyth M. B., Plotkin G. D. |
|
|
Univ.Edinburgh |
|
19.03.2004 |
|
СТ |
An Extension of Models of Axiomatic Domain Theory to Models of Synthetic Domain Theory |
1997 |
Fiore M. P., Plotkin G. D. |
|
|
|
Lecture Notes in Computer Science |
18.07.1997 |
|
СТ |
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 |
