江汉大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

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.

ISBN:

3540419608 (pbk.)

载体形态项:

xi, 429 p. : ill. ; 24 cm.

变异题名:

TLCA 2001

丛编题名:

Lecture notes in computer science, 0302-9743 ; 2044

会议名称:

International Conference on Typed Lambda Calculi and Applications (5th : 2001 : Kraków, Poland)

附加个人名称:

Abramsky, Samson, 1953-

论题主题:

Lambda calculus-Congresses.

中图法分类号:

TP301.6-532

中图法分类号:

TP301.6

书目附注:

Includes bibliographical references and index.

载体形态附注:

Also available by subscription via the World Wide Web.

电子资源:

http://springerlink.com/openurl.asp?genre=issue&issn=0302-9743&volume=2044&issue=preprint

豆瓣简介：