Media type: Book; Conference Proceedings Title: Types for proofs and programs : selected papers Contributor: Giménez, Eduardo [Other] Event: International Workshop TYPES Published: Berlin [u.a.]: Springer, 1998 Published in: Lecture notes in computer science ; 1512 Extent: VIII, 372 S.; 24 cm Language: English ISBN: 3540651373 RVK notation: SS 4800 : Lecture notes in computer science Keywords: Typentheorie Beweistheorie Automatisches Beweisverfahren Typisierter Lambda-Kalkül Programmverifikation Typentheorie Beweistheorie Automatisches Beweisverfahren Typisierter Lambda-Kalkül Programmverifikation Origination: Footnote: Literaturangaben
Departmental Library DrePunct – stack Shelf-mark: R2016 8 4546 Item ID: 30441066 Status: Loanable, place order > Ordering possible ‒ please log in Delivery expected: 1 - 2 days after order