دسترسی نامحدود
برای کاربرانی که ثبت نام کرده اند
دانلود کتاب Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings
دانلود کتاب گروه تئوری و علوم کامپیوتر: ادینبورگ، U.K.، 7-9 سپتامبر، 1987 پرونده
مشخصات کتاب
Category Theory and Computer Science: Edinburgh, U.K., September 7–9, 1987 Proceedings
دسته بندی: کامپیوتر ویرایش: 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 مگابایت
قیمت کتاب (تومان) : 38,000
کلمات کلیدی مربوط به کتاب گروه تئوری و علوم کامپیوتر: ادینبورگ، 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
نظرات کاربران
کتاب های مرتبط
دانلود کتاب Software Technologies for Embedded and Ubiquitous Systems: 8th IFIP WG 10.2 International Workshop, SEUS 2010, Waidhofen/Ybbs, Austria, October 13-15, 2010. Proceedings
دانلود کتاب iOS and OS X Network Programming Cookbook
دانلود کتاب Language Hierarchies and Interfaces: International Summer School
دانلود کتاب Information Technology Project Management : Providing measurable organizational Value
دانلود کتاب Mastering Emacs
دانلود کتاب How to Build a Working Digital Computer
دانلود کتاب Information, Randomness and Incompleteness: Papers on Algorithmic Information Theory (Series in Computer Science, Vol 8)
دانلود کتاب Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings
دانلود کتاب Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers
