عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.1210
QA
76
.
L28
Vol
.
1210
کتابخانه
محل استقرار
Typed lambda claculi and applications : third International Conference on Typed Lambda Calculi and applications, TLCA'97, Nancy, France, April 2-4, 1997 : proceedings
3rd: 1997: Nancy, France
Berlin
Springer-Verlag
1997
viii, 404p.: ill., tables
Lecture notes in computer science; 0121
Includes bibliographies
ISBN: 3540626883
Philippe de Groote, J. Roger Hindley )eds.(
1
Congresses ، Lambda calculus
QA
76
.
L28
Vol
.
1210
AU
AU Groote, Philippe de
AU Hindley, J. Roger
TI
SE
International Conference on Typed Lambda Calculi and Applications
