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=272
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
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
Iductive-data-type systems
Frédéric Blanqui
,
Jean-Pierre Jouannaud
,
Mitsuhiro Okada
Theoretical Computer Science
272
(1-2), 2002, pp. 41-68
Strictness, totality, and non-standard-type inference
Mario Coppo
,
Ferrucccio Damiani
,
Paola Giannini
Theoretical Computer Science
272
(1-2), 2002, pp. 69-112
Two applications of analytic functors
Ryu Hasegawa
Theoretical Computer Science
272
(1-2), 2002, pp. 113-175
Towards the animation of proofs - Testing proofs by examples
Susumu Hayashi
,
Ryosuke Sumitomo
,
Kech-ichiro Shii
Theoretical Computer Science
272
(1-2), 2002, pp. 177-195
Completeness of intersection and union type assignment systems for call-by-value
\lambda
-models
Hajime Ishihara
,
Toshihiko Kurata
Theoretical Computer Science
272
(1-2), 2002, pp. 197-221
Strong normalizability of the non-deterministic catch/throw calculi
Yukiyoshi Kameyama
,
Masahiko Sato
Theoretical Computer Science
272
(1-2), 2002, pp. 223-245
Innocent game models of untyped
\lambda
-calculus
Andrew D. Ker
,
Hanno Nickau
,
C.-H. Luke Ong
Theoretical Computer Science
272
(1-2), 2002, pp. 247-292
Proof by computation in the Coq system
Martijn Oostdijk
,
Herman Geuvers
Theoretical Computer Science
272
(1-2), 2002, pp. 293-314
Least and greatest fixed points in intuitionistic natural deduction
Tarmo Uustalu
,
Varmo Vene
Theoretical Computer Science
272
(1-2), 2002, pp. 315-339
Completeness of type assignment systems with intersection, union, and type quantifiers
Hirofumi Yokouchi
Theoretical Computer Science
272
(1-2), 2002, pp. 341-398