Categories for types / Roy L. Crole

By:

Crole, Roy L [aut]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Cambridge mathematical textbooksPublisher: Cambridge [u.a.] : Cambridge Univ. Press, 1993Edition: 1. publDescription: XVII, 335 S. : graph. Darst. ; 24 cmISBN:

0521450926
0521457017
9780521457019

Subject(s):

DDC classification:

511.32
511.3

MSC: MSC: *68Q70 | 68-01 | 18B20RVK: RVK: SK 320LOC classification:

QA169

Summary: 1. Order, Lattices and Domains -- 2. A Category Theory Primer -- 3. Algebraic Type Theory -- 4. Functional Type Theory -- 5. Polymorphic Functional Type Theory -- 6. Higher Order PolymorphismCall number: Grundsignatur: 94 A 1601PPN: PPN: 278588514

Holdings ( 1 )

Holdings
Item type	Home library	Collection	Shelving location	Call number	Status	Date due	Barcode
Freihandbestand ausleihbar	Bibliothek Campus Süd	math 3.7	Lesesaal Technik (LST)	94 A 1601	Checked out	09.11.2026	44419081090

Total holds: 0

Place hold
Print
Cite
Add to your cart (remove)
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Karlsruher Virtueller Katalog Bibliotheksportal Karlsruhe Google Scholar Andere Bibliotheken (WorldCat)