Type theory and functional programming / Simon Thompson

By:

Thompson, Simon [aut]

Resource type: Ressourcentyp: BuchBookLanguage: English Series: International computer science seriesPublisher: Wokingham, England [u.a.] : Addison-Wesley, 1991Edition: 1. printedDescription: XV, 372 S : IllISBN:

0201416670

Subject(s):

DDC classification:

511'.3
005.1
511/.3

MSC: MSC: *68N15 | 03B40 | 68-01 | 03-01 | 03B20 | 03F07 | 68Q42RVK: RVK: ST 130 | ST 230 | ST 240LOC classification:

QA76.62

Call number: Grundsignatur: 91 A 4843PPN: PPN: 019422644

Holdings ( 1 )

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	91 A 4843	Available	48126869090

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)