Programming in Martin Löf's type theory : an introduction / Bengt Nordström, Kent Petersson and Jan M. Smith
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:- 0198538146
- QA76.6
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