عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2701
QA
76
.
L28
Vol
.
2701
کتابخانه
محل استقرار
Typed lambda calculi and applications : 6th international conference, TLCA 2003, Valencia, Spain, June 2003 : proceedings
6th : 2003 : Valencia, Spain
Berlin
Springer-Verlag
c2003
viiii, 315 p.: ill., tables
Lecture notes in computer science; 1072
Includes bibliographies
ISBN: 3540403329
Martin Hofmann )ed.(
1
Congresses ، Lambda calculus
QA
76
.
L28
Vol
.
2701
NO
AU
AU Hofmann, Martin, 1965-
TI
SE
International Conference on Typed Lambda Calculi and Applications
