СТ |
Logical Semantics for the First Order c-Calculus |
2003 |
Van Bakel S., De Liguoro U. |
|
|
|
Lecture Notes in Computer Science |
20.11.2003 |
СТ |
Rewrite Systems with Abstraction and -rule: Types, Approximants and Normalization |
1996 |
Van Bakel S., Barbanera F., Fernandez M. |
|
|
|
Lecture Notes in Computer Science |
18.05.1996 |
СТ |
(Head-)Normalization of Typeable Rewrite Systems |
1995 |
Van Bakel S., Fernandez M. |
|
|
|
Lecture Notes in Computer Science |
28.04.1995 |
СТ |
Strong Normalization of Typeable Rewrite Systems |
1994 |
Van Bakel S., Fernandez M. |
|
|
|
Lecture Notes in Computer Science |
24.08.1994 |
СТ |
Comparing Cubes |
1994 |
Van Bakel S., Liquori L., Della Rocca S. R., Urzyczyn P. |
|
|
|
Lecture Notes in Computer Science |
02.08.1994 |
СТ |
Essential Intersection Type Assignment |
1993 |
Van Bakel S. |
|
|
|
Lecture Notes in Computer Science |
20.01.1994 |
СТ |
Complete Restrictions of the Intersection Type Discipline |
1992 |
Van Bakel S. |
|
|
|
Theoretical Computer Science |
30.09.1992 |