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="Curien, P.-L."
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Formal parametric polymorphism
M. Abadi
,
L. Cardelli
,
P.-L. Curien
Theoretical Computer Science
121
(1-2), 1993, pp. 9-58
Strong normalization of substitutions
P.-L. Curien
,
T. Hardin
,
A. RĂos
Lecture Notes in Computer Science
629
, 1992, pp. 209-217
A confluent reduction for the
\lambda
-calculus with surjective pairing and terminal object
P.-L. Curien
,
R. Di Cosmo
Lecture Notes in Computer Science
510
, 1991, pp. 291-302
An abstract framework for environment machines
P.-L. Curien
Theoretical Computer Science
82
, 1991, pp. 389-402
Partiality, Cartesian closedness, and toposes
P.-L. Curien
,
A. Obtulowicz
Information and Computation
80
(1), 1989, pp. 50-95
Categorical combinators
P.-L. Curien
Information and Control
69
(1-3), 1986, pp. 188-254
Categorical combinatory logic
P.-L. Curien
Lecture Notes in Computer Science
194
, 1985, pp. 130-139
Syntactic equivalences inducing semantic equivalences
P.-L. Curien
Lecture Notes in Computer Science
204
, 1985, pp. 168-178