Standard models of the overtyped lambda calculus / Peter Raulefs
Resource type: Ressourcentyp: BuchBookLanguage: English Series: Universität Karlsruhe (TH). Interner Bericht / Universität Karlsruhe, Fakultät für Informatik ; 75,3Publisher: Karlsruhe : Univ. Karlsruhe, Fak. für Informatik, 1975Description: 59 SOther title:- lambda-calculus
| Item type | Home library | Shelving location | Call number | Status | Barcode | |
|---|---|---|---|---|---|---|
| Magazinbestand ausleihbar | Bibliothek Campus Süd | Geschlossenes Magazin | ZE 4617-1975,3.1975 | Available | 25196688 | |
| Freihandbestand Präsenznutzung | Fachbibliothek Informatik | Bibliothek / frei aufgestellt | Z 167(23990) | Not for loan | 000692098090 |
Total holds: 0