عنوان
پدید آورنده
موضوع
رده
QA 76.7 .S85
QA
76
.
7
.
S85
کتابخانه
محل استقرار
عنوان و نام پديدآور
عنوان اصلي
Semantics of type theory : correctness, Completeness and independence results
وضعیت نشر و پخش و غیره
محل نشرو پخش و غیره
Basel
نام ناشر، پخش کننده و غيره
Birkhauser
تاریخ نشرو بخش و غیره
c1991
مشخصات ظاهری
نام خاص و کميت اثر
xii, 298p.: ill
فروست
ساير اطلاعات عنواني
Progress in theoretical computer science
يادداشت کلی
متن يادداشت
This book is based on the Ph.D. Thesis of Thomas Streicher from 1986 to 1988
متن يادداشت
Bibliography: p.292-295
متن يادداشت
ISBN: 3764335947
یادداشتهای مربوط به عنوان و پدیدآور
متن يادداشت
Thomas Streicher
یادداشت های مربوط به نسخه اصلی
متن يادداشت
1
موضوع (اسم عام یاعبارت اسمی عام)
عنصر شناسه ای
، Programming languages )Electronic computers( -- Semantics
عنصر شناسه ای
، Functional programming )Computer science(
عنصر شناسه ای
، Type theory
رده بندی کنگره
شماره رده
QA
76
.
7
.
S85
نام شخص به منزله سر شناسه - (مسئولیت معنوی درجه اول )
عنصر شناسه اي
Streicher, Thomas, 8591-
کد نقش
AU
نام / عنوان به منزله شناسه افزوده
عنصر شناسه اي
TI
عنصر شناسه اي
SE
