This is a book about isomorphisms 0/ types, arecent difficult research topic in type theory that turned out to be able to have valuable practical applications both for programming language design and far more human centered information retrieval in software libraries.
Painos loppuTuote on tilapäisesti loppunut ja sen saatavuus on epävarma. Tuote on tilapäisesti loppunut ja sen saatavuus on epävarma. Seuraa saatavuutta.