この商品を友人に教える:
Isomorphisms of Types - Progress in Theoretical Computer Science Roberto Dicosmo 第1 版
Isomorphisms of Types - Progress in Theoretical Computer Science
Roberto Dicosmo
Isomorphisms of types is a research topic in type theory that has valuable practical applications both for programming language design and for more human-centred information retrieval in software libraries. In this book the author presents the theoretical aspects of this research.
220 pages, Illustrations
| メディア | 書籍 Hardcover Book (ハードカバー付きの本) |
| リリース済み | 1994年12月22日 |
| ISBN13 | 9780817637637 |
| 出版社 | Birkhauser Boston |
| ページ数 | 220 |
| 寸法 | 150 × 220 × 20 mm · 522 g (重量（概算）) |
| 言語 | 英語 |
![Cover for Dimitrios Hristu · Handbook of Network and Embedded Control Systems - Control Engineering (Hardcover Book) [1st Ed. 2005. Corr. 2nd Printing 2008 edition] (2005)](https://imusic.b-cdn.net/images/item/original/397/9780817632397.jpg?dimitrios-hristu-2005-handbook-of-network-and-embedded-control-systems-control-engineering-hardcover-book&class=scaled&v=1433235288)
![Cover for Takashi Suzuki · Free Energy and Self-Interacting Particles - Progress in Nonlinear Differential Equations and Their Applications (Hardcover Book) [2005 edition] (2005)](https://imusic.b-cdn.net/images/item/original/027/9780817643027.jpg?takashi-suzuki-2005-free-energy-and-self-interacting-particles-progress-in-nonlinear-differential-equations-and-their-applications-hardcover-book&class=scaled&v=1410253680)
![Cover for Titu Andreescu · A Path to Combinatorics for Undergraduates: Counting Strategies (Paperback Book) [2004 edition] (2003)](https://imusic.b-cdn.net/images/item/original/884/9780817642884.jpg?titu-andreescu-2003-a-path-to-combinatorics-for-undergraduates-counting-strategies-paperback-book&class=scaled&v=1410247814)
![Cover for N. Balakrishnan · Asymptotic Methods in Probability and Statistics with Applications - Statistics for Industry and Technology (Hardcover Book) [2001 edition] (2001)](https://imusic.b-cdn.net/images/item/original/143/9780817642143.jpg?n-balakrishnan-2001-asymptotic-methods-in-probability-and-statistics-with-applications-statistics-for-industry-and-technology-hardcover-book&class=scaled&v=1503762489)
![Cover for Raghavan Narasimhan · Complex Analysis in One Variable (Hardcover Book) [2nd Ed. 2001 edition] (2000)](https://imusic.b-cdn.net/images/item/original/641/9780817641641.jpg?raghavan-narasimhan-2000-complex-analysis-in-one-variable-hardcover-book&class=scaled&v=1590082097)
![Cover for George A. Gratzer · Math into Latex: an Introduction to Latex and Ams-latex (Paperback Book) [3rd Ed. 2000 edition] (2000)](https://imusic.b-cdn.net/images/item/original/313/9780817641313.jpg?george-a-gratzer-2000-math-into-latex-an-introduction-to-latex-and-ams-latex-paperback-book&class=scaled&v=1491766057)
![Cover for Daniel W. Stroock · A Concise Introduction to the Theory of Integration (Hardcover Book) [3rd Ed. 1998 edition] (1998)](https://imusic.b-cdn.net/images/item/original/736/9780817640736.jpg?daniel-w-stroock-1998-a-concise-introduction-to-the-theory-of-integration-hardcover-book&class=scaled&v=1503170776)
![Cover for Jeffery M. Cooper · Introduction to Partial Differential Equations with MATLAB - Applied and Numerical Harmonic Analysis (Hardcover Book) [1st ed. 1998. Corr. 2nd printing 2000 edition] (1998)](https://imusic.b-cdn.net/images/item/original/679/9780817639679.jpg?jeffery-m-cooper-1998-introduction-to-partial-differential-equations-with-matlab-applied-and-numerical-harmonic-analysis-hardcover-book&class=scaled&v=1410246658)
