Title:
Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings
Author:
Rocca, Simona Ronchi. editor.
ISBN:
9783540732280
Physical Description:
X, 397 p. Also available online. online resource.
Series:
Lecture Notes in Computer Science, 4583
Series Title:
Lecture Notes in Computer Science, 0302-9743 ; 4583
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-540-73228-0Copies:
Available:*
Library | Material Type | Item Barcode | Shelf Number | Status | Item Holds |
|---|---|---|---|---|---|
Searching... | E-Book | 186782-2001 | ONLINE | Searching... | Searching... |