书目信息 机读格式(MARC)
Typed lambda calculi and applications :
| ISBN： | 3540419608 (acid-free paper) |
|---|---|
| 编目源： | DLC DLC OHX CUS C#P CaOON |
| 语种代码： | eng |
| 会议名称： | International Conference on Typed Lambda Calculi and Applications |
| 题名： | Typed lambda calculi and applications : 5th international conference, TLCA 2001, Krak鈕w, Poland, May 2-5, 2001 : proceedings / Samson Abramsky (ed.). |
| 出版发行项： | Berlin ; New York : Springer, c2001. |
| 载体形态： | xi, 429 p. : ill. ; 24 cm. |
| 丛编说明： | Lecture notes in computer science, 0302-9743 ; 2044. |
| 书目附注： | Includes bibliographical references and index. |