Publications of S. Ronchi della Rocca
BACK TO COATI PUBLICATION INDEXPublications of S. Ronchi della Rocca
| Articles in journal or book's chapters |
-
L. Liquori and S. Ronchi Della Rocca.
Intersection Typed System it à la Church.
IC, Journal of Information and Computation,
205(9):1371--1386,
September 2007.
[WWW
] [PDF
] [bibtex-entry]
-
S. van Bakel,
L. Liquori,
S. Ronchi della Rocca,
and P. Urzyczyn.
Comparing Cubes of Typed and Type Assignment System.
Annals of Pure and Applied Logics,
86(3):267--303,
1997.
[POSTSCRIPT
] [bibtex-entry]
| Conference's articles |
-
S. van Bakel,
L. Liquori,
S. Ronchi della Rocca,
and P. Urzyczyn.
Comparing Cubes.
In LFCS, International Symposium on Logical Foundations of Computer Science,
volume 813 of Lecture Notes in Computer Science,
pages 353--365,
1994.
Springer Verlag.
[POSTSCRIPT
] [bibtex-entry]
BACK TO COATI PUBLICATION INDEX
Last modified: Sat Jan 29 19:00:46 2022