SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Roy L | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 441 tuotetta
Haluatko tarkentaa hakukriteerejä?



Categories for Types
Roy L. Crole
Cambridge University Press (1994)
Pehmeäkantinen kirja
81,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Categories for Types
Roy L. Crole
Cambridge University Press (1994)
Kovakantinen kirja
136,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Atonement and Forgiveness - A New Model for Black Reparations
Roy L Brooks
University of California Press (2006)
Pehmeäkantinen kirja
26,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Media Law and Ethics
Roy L. Moore; Michael D. Murray
Routledge (TANDF) (2007)
Pehmeäkantinen kirja
85,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Desertification: Causes, Impacts & Consequences
Roy L. Behnke
Springer (2016)
Kovakantinen kirja
172,70
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
When Sorry Isn`t Enough - The Controversy Over Apologies and Reparations for Human Injustice
Roy L. Brooks
MI - New York University (1999)
Pehmeäkantinen kirja
30,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Marine Plants of the Texas Coast
Roy L. Lehman
MP-TAM Texas A&M University (2013)
Pehmeäkantinen kirja
33,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Early Human Occupation in British Columbia
Roy L. Carlson; Luke Dalla Bona
MN - University of British Columbia Press (1996)
Pehmeäkantinen kirja
60,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
L'Universite Laval Et Les Fe Tes Du Cinquantenaire (Classic Reprint)
L'Abbe Camille Roy
Forgotten Books (2016)
Pehmeäkantinen kirja
49,10
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Managing the Engineering and Construction Process
Roy L. Wilson; Virginia Fairweather
John Wiley & Sons (1989)
Kovakantinen kirja
72,90
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Les Litanies Du Sacr� Coeur de J�sus - Commentaire Dogmatique (Classic Reprint)
L Le Roy
Forgotten Books (2018)
Kovakantinen kirja
75,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Etat Général Et Particulier Du Royaume Et De La Ville D'alger, De Son Gouvernement, De Ses Forces De Terre Et De Mer, Revenus, J
L. Le Roy
Creative Media Partners, LLC (2018)
Pehmeäkantinen kirja
29,30
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Des épitaxis, leurs variétés, leurs causes, leur traitement
Roy-L
Hachette Livre Bnf (2018)
Pehmeäkantinen kirja
15,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Diversity Judgments: Democratizing Judicial Legitimacy
Roy L. Brooks
Cambridge University Press (2022)
Kovakantinen kirja
122,00
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Diversity Judgments: Democratizing Judicial Legitimacy
Roy L. Brooks
Cambridge University Press (2022)
Pehmeäkantinen kirja
48,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
And That Is Why . . . Manipuri Myths Retold - (A full-colour book with Manipuri art)
L. Somi Roy
Penguin Random House India (2021)
Pehmeäkantinen kirja
13,50
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
If I Got My Ticket  : SAB, Soprano Solo, and Organ or Piano  : Choral Score
Jr. Roy L. Belfield
MorningStar Music Publishers
Pehmeäkantinen kirja
7,60
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Integration or Separation? - A Strategy for Racial Equality
Roy L. Brooks
Harvard University Press (1999)
Pehmeäkantinen kirja
36,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
A Brief History of the Ashmont Town Team Vs the Equestrian Statue - And Related & Relevant Events
Roy L. Clough
AuthorHouse (2001)
Kovakantinen kirja
39,20
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Categories for Types
81,50 €
Cambridge University Press
Sivumäärä: 356 sivua
Asu: Pehmeäkantinen kirja
Julkaisuvuosi: 1994, 27.01.1994 (lisätietoa)
Kieli: Englanti
This textbook explains the basic principles of categorical type theory and the techniques used to derive categorical semantics for specific type theories. It introduces the reader to ordered set theory, lattices and domains, and this material provides plenty of examples for an introduction to category theory. which covers categories, functors, natural transformations, the Yoneda lemma, cartesian closed categories, limits, adjunctions and indexed categories. Four kinds of formal system are considered in detail, namely algebraic, functional, polymorphic functional, and higher order polymorphic functional type theory. For each of these the categorical semantics are derived and results about the type systems are proved categorically. Issues of soundness and completeness are also considered. Aimed at advanced undergraduates and beginning graduates, this book will be of interest to theoretical computer scientists, logicians and mathematicians specialising in category theory.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 1-3 viikossa. | Tilaa jouluksi viimeistään 27.11.2024. Tuote ei välttämättä ehdi jouluksi.
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Categories for Typeszoom
Näytä kaikki tuotetiedot
ISBN:
9780521457019
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste