Media type: Book; Conference Proceedings Title: Types for proofs and programs : selected papers Contributor: Barendregt, Henk [Editor]; Barendregt, Hendrik P. [Editor] Event: International Workshop TYPES Published: Berlin; Heidelberg [u.a.]: Springer, 1994 Published in: Lecture notes in computer science ; 806 Extent: 383 S.; graph. Darst Language: English ISBN: 3540580859; 0387580859 RVK notation: SS 4800 : Lecture notes in computer science ST 130 : Allgemeines Keywords: Typentheorie Beweistheorie Benutzeroberfläche Typentheorie Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: 94 8 23173 002 Item ID: 10091502 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order