Categorical combinators, sequential algorithms and functional programming / P.-L. Curien

By:

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Research notes in theoretical computer sciencePublisher: London u.a. : Pitman u.a., 1986Edition: 1. publDescription: 300 SISBN:

Subject(s):

Genre/Form:

DDC classification:

MSC: MSC: *68-02 | 03B40 | 68Q60 | 03B70 | 68Q55RVK: RVK: ST 140LOC classification:

Dissertation note: Teilw. zugl.: Paris, Diss. Call number: Grundsignatur: 86 A 4078PPN: PPN: 018006051

Holdings
Item type	Home library	Shelving location	Call number	Status	Barcode
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	86 A 4078	Available	23297708

Total holds: 0