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: Journal=Theor.~Comput.~Sci. AND Volume=398
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Towards the range property for the lambda theory
H
Henk Barendregt
Theoretical Computer Science
398
(1-3), 2008, pp. 12-15
Lambda calculus with patterns
Jan Willem Klop
,
Vincent van Oostrom
,
Roel de Vrijer
Theoretical Computer Science
398
(1-3), 2008, pp. 16-31
The weak lambda calculus as a reasonable machine
Ugo Dal Lago
,
Simone Martini
Theoretical Computer Science
398
(1-3), 2008, pp. 32-50
Parametric
\lambda
-theories
Luca Paolini
Theoretical Computer Science
398
(1-3), 2008, pp. 51-62
On strong normalization and type inference in the intersection type discipline
Gérard Boudol
Theoretical Computer Science
398
(1-3), 2008, pp. 63-81
The heart of intersection type assignment: Normalisation proofs revisited
Steffen van Bakel
Theoretical Computer Science
398
(1-3), 2008, pp. 82-94
A typed lambda calculus with intersection types
Viviana Bono
,
Betti Venneri
,
Lorenzo Bettini
Theoretical Computer Science
398
(1-3), 2008, pp. 95-113
Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: Extending the Coppo-Dezani heritage
Daniel J. Dougherty
,
Silvia Ghilezan
,
Pierre Lescanne
Theoretical Computer Science
398
(1-3), 2008, pp. 114-128
An irregular filter model
Fabio Alessi
Theoretical Computer Science
398
(1-3), 2008, pp. 129-149
A type assignment system for game semantics
Pietro Di Gianantonio
,
Furio Honsell
,
Marina Lenisa
Theoretical Computer Science
398
(1-3), 2008, pp. 150-169
Computability and the morphological complexity of some dynamics on continuous domains
Mathieu Hoyrup
,
Arda Kolçak
,
Giuseppe Longo
Theoretical Computer Science
398
(1-3), 2008, pp. 170-182
Access control in mobile ambient calculi: A comparative view
Ines Margaria
,
Maddalena Zacchi
Theoretical Computer Science
398
(1-3), 2008, pp. 183-202
Role-based access control for boxed ambients
Adriana Compagnoni
,
Elsa L. Gunter
,
Philippe Bidinger
Theoretical Computer Science
398
(1-3), 2008, pp. 203-216
Semantic subtyping for the pi-calculus
Giuseppe Castagna
,
Rocco De Nicola
,
Daniele Varacca
Theoretical Computer Science
398
(1-3), 2008, pp. 217-242
Extending FeatherTrait Java with interfaces
Luigi Liquori
,
Arnaud Spiwack
Theoretical Computer Science
398
(1-3), 2008, pp. 243-260