عنوان
پدید آورنده
موضوع
رده
QA 9 .5 .I58 1993
QA
9
.
5
.
I58
1993
کتابخانه
محل استقرار
100869
بهار۳۷
English
)20(
Typed lambda calculi and applications : International Conference on Typed Lam)b(da Calculi and Applications, TLCA '93, March 16-18, 1993, Utrecht, the Netherlands : proceedings
Berlin, New York
Springer-Verlag
1993
viii, 432 p. : ill. ; 24 cm
Lecture notes in computer science, 466
Includes bibliographical references and index
، Lambda calculus -- Congresses
QA
9
.
5
.
I58
1993
AU
M. Bezem, J.F. Groote )eds.(
AU craM ,mezeB 1956-
AU ocsirF naJ ,etoorG 1965-
International Conference on Typed Lambda Calculi and Applications, Utrecht, Netherlands(, )1993
02
