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
Hilfe
Suche: Author="Barbanera, Franco"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Space-aware ambients and processes
Franco Barbanera
,
Michele Bugliesi
,
Mariangiola Dezani-Ciancaglini
,
Vladimiro Sassone
Theoretical Computer Science
373
(1-2), 2007, pp. 41-69
Intersection types and lambda models
Fabio Alessi
,
Franco Barbanera
,
Mariangiola Dezani-Ciancaglini
Theoretical Computer Science
355
(2), 2006, pp. 108-126
A full continuous model of polymorphism
Franco Barbanera
,
Stefano Berardi
Theoretical Computer Science
290
(1), 2003, pp. 407-428
Intersection types for
\lambda
-trees
Steffen van Bakel
,
Franco Barbanera
,
Mariangiola Dezani-Ciancaglini
,
Fer-Jan de Vries
Theoretical Computer Science
272
(1-2), 2002, pp. 3-40
The simply typed theory of
\beta
-conversion has no maximum extension
Franco Barbanera
,
Stefano Berardi
Information and Computation
139
(1), 1997, pp. 57-61
A symmetric lambda calculus for classical program extraction
Franco Barbanera
,
Stefano Berardi
Information and Computation
125
(2), 1996, pp. 103-117
Intersection type assignment systems with higher-order algebraic rewriting
Franco Barbanera
,
Maribel Fernández
Theoretical Computer Science
170
(1-2), 1996, pp. 173-207
Intersection and union types: Syntax and semantics
Franco Barbanera
,
Mariangiola Dezani-Ciancaglini
,
Ugo de'Liguoro
Information and Computation
119
(2), 1995, pp. 202-230
Modularity of termination and confluence in combinations of rewrite systems with
\lambda_{\omega}
Franco Barbanera
,
Maribel Fernández
Lecture Notes in Computer Science
700
, 1993, pp. 657-668
Strong conjunction and intersection types
Fabio Alessi
,
Franco Barbanera
Lecture Notes in Computer Science
520
, 1991, pp. 64-73
Combining term rewriting and type assignment systems
Franco Barbanera
International Journal of Foundations of Computer Science
1
(3), 1990, pp. 165-184