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="Rummelhoff, Ivar"

Theoretical Computer Science 316 (1-3), 2004, pp. 215-224

Editors		G. Ausiello, D. Sannella
Publisher:		Elsevier Science Publishers B.V.
Address:		Amsterdam-London-New York-Oxford-Paris-Shannon-Tokyo
Keywords:		Type theory, Polymorphism, Semantics, PER
URL:		DOI:10.1016/j.tcs.2004.01.031