|
СТ |
! = 1 Optimizing Optimal -calculus Implementations |
1995 |
Asperti A. |
|
|
|
Lecture Notes in Computer Science |
27.04.1995 |
|
СТ |
A Categorical Model for Logic Programs: Indexed Monoidal Categories |
1993 |
Corradini A., Asperti A. |
|
|
|
Lecture Notes in Computer Science |
11.06.1993 |
|
СТ |
Comparing -calculus Translations in Sharing Graphs |
1995 |
Asperti A., Laneve C. |
|
|
|
Lecture Notes in Computer Science |
14.04.1995 |
|
СТ |
Interaction Systems |
1994 |
Asperti A., Laneve C. |
|
|
|
Lecture Notes in Computer Science |
24.08.1994 |
|
СТ |
Optimal Reductions in Interaction Systems |
1993 |
Asperti A., Laneve C. |
|
|
|
Lecture Notes in Computer Science |
26.05.1993 |
|
СТ |
Paths, Computations and Labels in the -calculus |
1993 |
Asperti A., Laneve C. |
|
|
|
Lecture Notes in Computer Science |
09.07.1993 |
|
СТ |
The Family Relation in Interaction Systems |
1994 |
Asperti A., Laneve C. |
|
|
|
Lecture Notes in Computer Science |
05.05.1994 |
|
СТ |
Yet Another Correctness Criterion for Multiplicative Linear Logic with MIX |
1994 |
Asperti A., Dore G. |
|
|
|
Lecture Notes in Computer Science |
27.07.1994 |
