|
СТ |
Inhabitation in Typed Lambda-Calculi |
1997 |
Urzyczyn P. |
|
|
|
Lecture Notes in Computer Science |
11.04.1997 |
|
СТ |
Positive Recursive Type Assignment |
1995 |
Urzyczyn P. |
Lecture Notes in Computer Science |
|
|
Mathematical Foundations of Computer Science 1995 |
21.10.1995 |
|
СТ |
Comparing Cubes |
1994 |
Van Bakel S., Liquori L., Della Rocca S. R., Urzyczyn P. |
|
|
|
Lecture Notes in Computer Science |
02.08.1994 |
|
СТ |
An Analysis of ML Typability |
1994 |
Kfoury A. J., Tiuryn J., Urzyczyn P. |
|
|
|
J. of the ACM |
14.06.1994 |
|
СТ |
On the Expressive Power of Finitely Typed and Universally Polymorphic Recursive Procedures |
1992 |
Kfoury A. J., Tiuryn J., Urzyczyn P. |
|
|
|
Theoretical Computer Science |
29.02.1992 |
