Types in compilation third international workshop, TIC 2000, Montreal, Canada, September 21, 2000 : revised selected papers / Robert Harper, (ed.).

Author/creator TIC 2000
Other author Harper, Robert, 1957-
Format Electronic
Publication InfoBerlin ; New York : Springer,
Description206 p. : ill. ; 24 cm.
Supplemental ContentFull text available from Springer Books
Supplemental ContentFull text available from SpringerLINK Lecture Notes in Computer Science Contemporary (1997-present)
Subjects

SeriesLecture notes in computer science, 0302-9743 ; 2071
Bibliography noteIncludes bibliographical references and index.
Access restrictionAvailable only to authorized users.
Technical detailsMode of access: World Wide Web
Genre/formElectronic books.
LCCN 2001042069
ISBN3540421963 pbk. : alk. paper
ISBN9783540421962 (pbk. : alk. paper)

Availability

Library Location Call Number Status Item Actions
Electronic Resources ✔ Available