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 [2]	Hilfe

Suche: Citkey="Ehrhard-Regnier/03"

Theoretical Computer Science 309 (1-3), 2003, pp. 1-41

Editors		G. Ausiello, M.W. Mislove, D. Sannella
Publisher:		Elsevier Science Publishers B.V.
Address:		Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo
Keywords:		\lambda-calculus, Linear logic, Denotational semantics, Linear head reduction
URL:		DOI:10.1016/S0304-3975(03)00392-X