Programming in Martin Löf's type theory : an introduction / Bengt Nordström, Kent Petersson and Jan M. Smith

By:

Contributor(s):

Resource type: Ressourcentyp: BuchBookLanguage: English Series: Oxford science publications | International series of monographs on computer science ; 7Publisher: Oxford : Clarendon Press, 1990Description: X, 221 S : graph. DarstISBN:

Subject(s):

MSC: MSC: *03B70 | 03F35 | 03-01 | 68-02 | 68N01RVK: RVK: ST 230 | ST 120LOC classification:

Call number: Grundsignatur: 95 A 4157PPN: PPN: 274875799

Holdings
Item type	Home library	Shelving location	Call number	Status	Date due	Barcode	Item holds
Magazinbestand ausleihbar	Bibliothek Campus Süd	Geschlossenes Magazin	95 A 4157	Available		47159927090

Total holds: 0