دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
برای ارتباط با ما می توانید از طریق شماره موبایل زیر از طریق تماس و پیامک با ما در ارتباط باشید
در صورت عدم پاسخ گویی از طریق پیامک با پشتیبان در ارتباط باشید
برای کاربرانی که ثبت نام کرده اند
درصورت عدم همخوانی توضیحات با کتاب
از ساعت 7 صبح تا 10 شب
دسته بندی: کامپیوتر ویرایش: 1 نویسندگان: G. Rosolini (auth.), David H. Pitt, Axel Poigné, David E. Rydeheard (eds.) سری: Lecture Notes in Computer Science 283 ISBN (شابک) : 3540185089, 9783540185086 ناشر: Springer-Verlag Berlin Heidelberg سال نشر: 1987 تعداد صفحات: 305 زبان: English فرمت فایل : DJVU (درصورت درخواست کاربر به PDF، EPUB یا AZW3 تبدیل می شود) حجم فایل: 3 مگابایت
کلمات کلیدی مربوط به کتاب گروه تئوری و علوم کامپیوتر: ادینبورگ، U.K.، 7-9 سپتامبر، 1987 پرونده: منطق و معانی برنامه ها، منطق ریاضی و زبان های رسمی، منطق ریاضی و مبانی
در صورت تبدیل فایل کتاب Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings به فرمت های PDF، EPUB، AZW3، MOBI و یا DJVU می توانید به پشتیبان اطلاع دهید تا فایل مورد نظر را تبدیل نمایند.
توجه داشته باشید کتاب گروه تئوری و علوم کامپیوتر: ادینبورگ، U.K.، 7-9 سپتامبر، 1987 پرونده نسخه زبان اصلی می باشد و کتاب ترجمه شده به فارسی نمی باشد. وبسایت اینترنشنال لایبرری ارائه دهنده کتاب های زبان اصلی می باشد و هیچ گونه کتاب ترجمه شده یا نوشته شده به فارسی را ارائه نمی دهد.
Categories and effective computations....Pages 1-11
Polymorphism is set theoretic, constructively....Pages 12-39
An equational presentation of higher order logic....Pages 40-56
Enriched categories for local and interaction calculi....Pages 57-70
The category of Milner processes is exact....Pages 71-97
Relating two models of hardware....Pages 98-113
Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms....Pages 114-139
A typed lambda calculus with categorical type constructors....Pages 140-157
Final algebras, cosemicomputable algebras, and degrees of unsolvability....Pages 158-181
Good functors ... are those preserving philosophy!....Pages 182-195
Viewing implementations as an institution....Pages 196-218
An interval model for second order lambda calculus....Pages 219-237
Logical aspects of denotational semantics....Pages 238-253
Connections between partial maps categories and tripos theory....Pages 254-269
A fixpoint construction of the p-adic domain....Pages 270-289
A category of Galois connections....Pages 290-300