Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
[1]
Hilfe
Suche: Author="Ronchi della Rocca, Simona"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Strong normalization from an unusual point of view
Luca Paolini
,
Elaine Pimentel
,
Simona Ronchi Della Rocca
Theoretical Computer Science
412
(20), 2011, pp. 1903-1915
Intersection-types à la Church
Luigi Liquori
,
Simona Ronchi Della Rocca
Information and Computation
205
(9), 2007, pp. 1371-1386
Parametric parameter passing
\lambda
-calculus
Luca Paolini
,
Simona Ronchi Della Rocca
Information and Computation
189
(1), 2004, pp. 87-106
Principal type scheme and unification for intersection type discipline
Simona Ronchi della Rocca
Theoretical Computer Science
59
, 1988, pp. 181-209